Werner Damm, Bernhard Josko, Amir Pnueli, Angelika Votintseva. Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML. In Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever, editors, Formal Methods for Components and Objects, First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures. Volume 2852 of Lecture Notes in Computer Science, pages 71-98, Springer, 2002. [doi]
Abstract is missing.