1. Baresi L. and M. Pezzè, Improving UML with Petri nets, in: Proc. ETAPS2001 Workshop on Uniform Approaches to Graphical Process Specification Techniques (UniGra), Genova, Italy, Electronic Notes in TCS (2001), to appear.
2. Ebert J. and G. Engels, Structural and behavioral views of OMT-classes, in: E. Bertino and S. Urban, editors, Proceedings, Object-Oriented Methodologies and Systems, LNCS 858 (1994), pp. 142–157.
3. Specification of Object Life Cycle Definitions;Ebert,1995
4. Engels G., R. Hücking, S. Sauer and A. Wagner, UML collaboration diagrams and their transformation to Java, in: R. France and B. Rumpe, editors, Proc. UML'99, Fort Collins, CO, USA, LNCS 1723 (1999), pp. 473–488.
5. Formal Systems Europe (Ltd), “Failures-Divergence-Refinement: FDR2 User Manual,” (1997).