Vieri Del Bianco, Luigi Lavazza, Marco Mauri, Giuseppe Occorso. Towards UML-Based Formal Specifications of Component-Based Real-Time Software. In Mauro Pezzè, editor, Fundamental Approaches to Software Engineering, 6th International Conference, FASE 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings. Volume 2621 of Lecture Notes in Computer Science, pages 118-134, Springer, 2003. [doi]
Abstract is missing.