Towards the composition verification of real-time UML designs (2003)

by Holger Giese
Venue:In Proceedings of the 9th European Software Engineering Conference/ 11th ACM SIGSOFT Symposium on Foundations of Software Engineering