Lilleskare, A.; Kristensen, L. M.; Høyland, S.-O. CTL Model Checking With the Sweep-Line State Space Exploration Method. NIKT 2017.