Youcef Hammal A Formal Semantics of UML StateCharts by Means of Timed Petri Nets. 38-52 2005 conf/forte/2005 FORTE http://dx.doi.org/10.1007/11562436_5 db/conf/forte/forte2005.html#Hammal05