"Formal Verification of UML Statecharts with Real-Time Extensions."

Alexandre David, M. Oliver Möller, Wang Yi (2002)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics