Johnsen EB, Steffen M, Stumpf JB, Tveito L. An Analysis Tool for Models of Virtualized Systems. NIKT [Internet]. 2018Aug.8 [cited 2024Nov.23];. Available from: https://www.ntnu.no/ojs/index.php/nikt/article/view/5381