Johnsen, E. B., M. Steffen, J. B. Stumpf, and L. Tveito. “An Analysis Tool for Models of Virtualized Systems”. Norsk IKT-Konferanse for Forskning Og Utdanning, Aug. 2018, https://www.ntnu.no/ojs/index.php/nikt/article/view/5381.