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