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