Johnsen, E. B.; Steffen, M.; Stumpf, J. B.; Tveito, L. An Analysis Tool for Models of Virtualized Systems. NIKT 2018.