Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito. An Analysis Tool for Models of Virtualized Systems. In 31th Norsk Informatikkonferanse, NIK 2018, Universitetet i Oslo, Oslo, Norway, September 18-20, 2018. Bibsys Open Journal Systems, Norway, 2018. [doi]