Lilleskare, Andreas, Lars M. Kristensen, and Sven-Olai Høyland. 2017. “CTL Model Checking With the Sweep-Line State Space Exploration Method”. Norsk IKT-Konferanse for Forskning Og Utdanning, November. https://www.ntnu.no/ojs/index.php/nikt/article/view/5320.