Johnsen, Einar Broch, Martin Steffen, Johanna Beate Stumpf, and Lars Tveito. 2018. “An Analysis Tool for Models of Virtualized Systems”. Norsk IKT-Konferanse for Forskning Og Utdanning, August. https://www.ntnu.no/ojs/index.php/nikt/article/view/5381.