Werner Damm Bernhard Josko Amir Pnueli Angelika Votintseva Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. 71-98 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2852&spage=71 2002 conf/fmco/2002 FMCO db/conf/fmco/fmco2002.html#DammJPV02