Understanding UML: A formal semantics of concurrency and communication in Real-Time UML (2003)

by Werner Damm, Bernhard Josko, Amir Pnueli, Angelika Votintseva
Venue:First International Symposium on Formal Methods for Components and Objects (FMCO 2002), Revised Lectures, volume 2852 of Lecture Notes in Computer Science