Lilleskare, A., Kristensen, L.M. and Høyland, S.-O. 2017. CTL Model Checking with the Sweep-line State Space Exploration Method. Norsk IKT-konferanse for forskning og utdanning. (Nov. 2017).