Johnsen, Einar Broch, Martin Steffen, Johanna Beate Stumpf, and Lars Tveito. “An Analysis Tool for Models of Virtualized Systems”. Norsk IKT-konferanse for forskning og utdanning (August 8, 2018). Accessed November 23, 2024. https://www.ntnu.no/ojs/index.php/nikt/article/view/5381.