A.: “Understanding UML: A formal semantics of concurrency and communication in real-time UML (0)

by W Damm, B Josko, A Pnueli, Votintseva
Venue:Proceedings of FMCO (International Symposia on Formal Methods for Components and Objects