"Symbolic execution of UML-RT State Machines."

Karolina Zurowska, Jürgen Dingel (2012)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics