Kevin Lano, Juan Bicarregui. Formalising the UML in Structured Temporal Theories. In Haim Kilov, Bernhard Rumpe, Ian Simmonds, editors, Behavioral Specifications of Businesses and Systems. Volume 523 of The Kluwer International Series in Engineering and Computer Science, pages 161-174, Springer, 1999. [doi]
Abstract is missing.