Johnsen, E.B., Steffen, M., Stumpf, J.B. and Tveito, L. 2018. An Analysis Tool for Models of Virtualized Systems. Norsk IKT-konferanse for forskning og utdanning. (Aug. 2018).