Michael von der Beeck A Formal Semantics of UML-RT. 768-782 2006 conf/models/2006 MoDELS http://dx.doi.org/10.1007/11880240_53 db/conf/models/models2006.html#Beeck06