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