S.: Towards the compositional verification of real-time uml designs (2003)

by H Giese, M Tichy, S Burmester, W Schäfer, Flake
Venue:In: Proceedings of the 9th European Software Engineering Conference held jointly with the 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering (ESEC/FSE ’03