A. Lilleskare, L. M. Kristensen, and S.-O. Høyland, “CTL Model Checking with the Sweep-line State Space Exploration Method”, NIKT, Nov. 2017.