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