M. Cengarle, and A. Knapp. 3rd Intl. Workshop on Critical Systems Development with UML (CSDUML '04, Proceedings)., page 85--99. Technische Universität München, (2004)
E. Börger, A. Cavarra, and E. Riccobene. SAC '03: Proceedings of the 2003 ACM symposium on Applied computing, page 1086--1091. New York, NY, USA, ACM, (2003)