JOHNSEN, E. B.; STEFFEN, M.; STUMPF, J. B.; TVEITO, L. An Analysis Tool for Models of Virtualized Systems. Norsk IKT-konferanse for forskning og utdanning, [S. l.], 2018. Disponível em: https://www.ntnu.no/ojs/index.php/nikt/article/view/5381. Acesso em: 23 nov. 2024.