Pietro Colombo, Matteo Pradella, Matteo Rossi. A UML 2-compatible language and tool for formal modeling real-time system architectures. In Hisham Haddad, editor, Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006. pages 1785-1790, ACM, 2006. [doi]
Abstract is missing.