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)
G. Lüttgen, M. von der Beeck, и R. Cleaveland. SIGSOFT '00/FSE-8: Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering, 25, стр. 120--129. New York, NY, USA, ACM Press, (ноября 2000)
S. Jansamak, и A. Surarerks. ACSC '04: Proceedings of the 27th Australasian conference on Computer science, стр. 83--88. Darlinghurst, Australia, Australia, Australian Computer Society, Inc., (2004)
J. Jürjens. FMOODS '02: Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems V, стр. 29--43. Deventer, The Netherlands, The Netherlands, Kluwer, B.V., (2002)