Michael von der Beeck Formalization of UML-Statecharts. 406-421 2001 conf/uml/2001 UML http://link.springer.de/link/service/series/0558/bibs/2185/21850406.htm db/conf/uml/uml2001.html#Beeck01