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)
S. Jansamak, and A. Surarerks. ACSC '04: Proceedings of the 27th Australasian conference on Computer science, page 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, page 29--43. Deventer, The Netherlands, The Netherlands, Kluwer, B.V., (2002)
D. Latella, I. Majzik, and M. Massink. Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Deventer, The Netherlands, The Netherlands, Kluwer, B.V., (1999)
A. Simons. Electronic Workshops in Computing: Rigorous Object-Oriented Methods 2000, series ed. C J van Rijsbergen, British Computer Society, 2000, page 8--1. (2000)
R. Eshuis, and R. Wieringa. Fourth International Conference on Formal methods for open object-based distributed systems IV, page 121--140. Norwell, MA, USA, Kluwer Academic Publishers, (2000)
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 Press, (2003)
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)
D. Harel, and S. Maoz. SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, page 13--20. New York, NY, USA, ACM Press, (2006)