Holger Giese, Matthias Tichy, Sven Burmester, Stephan Flake. Towards the compositional verification of real-time UML designs. In Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003. pages 38-47, ACM, 2003. [doi]