Michael von der Beeck A structured operational semantics for UML-statecharts. 130-141 2002 1 Software and System Modeling 2 http://dx.doi.org/10.1007/s10270-002-0012-8 db/journals/sosym/sosym1.html#Beeck02