Simona Bernardi Susanna Donatelli José Merseguer From UML sequence diagrams and statecharts to analysable petrinet models. 35-45 2002 Workshop on Software and Performance http://doi.acm.org/10.1145/584369.584376 db/conf/wosp/wosp2002.html#BernardiDM02