"MBT/CPN: A Tool for Model-Based Software Testing of Distributed Systems ..."

Rui Wang, Lars Michael Kristensen, Volker Stolz (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics