Lilleskare A, Kristensen LM, Høyland S-O. CTL Model Checking with the Sweep-line State Space Exploration Method. NIKT [Internet]. 2017Nov.23 [cited 2024Nov.21];. Available from: https://www.ntnu.no/ojs/index.php/nikt/article/view/5320