Hans Toetenel, Ella E. Roubtsova, Jan van Katwijk. A Timed Automata Semantics for Real-Time UML Specifications. In 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2001), September 5-7, 2001 Stresa, Italy. pages 88-95, IEEE Computer Society, 2001. [doi]
Abstract is missing.