1. M. Broy, C. Facchi, R. Grosu, R. Hettler, H. Huβmann, D. Nazareth, F. Regensburger, O. Slotosch, and K. Stølen. The Requirement and Design Specification Language SPECTRUM, An Informal Introduction, Version 1.0, Part 1. Technical Report TUM-I9312, Technische Universität München, 1993.
2. Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, and Veronika Thurner. Towards a formalization of the unified modeling language. In Satoshi Matsuoka Mehmet Aksit, editor, ECOOP’97 Proceedings. Springer Verlag, LNCS 1241, 1997.
3. J-M. Bruel and R.B. France. Transforming UML models to formal specifications. In UML’98-Beyond the notation, LNCS 1618. Springer-Verlag, 1998.
4. G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1998.
5. Andy Evans, Robert France, Kevin Lano, and Bernhard Rumpe. Developing the UML as a formal modelling notation. In Jean Bezivin and Pierre-Allain Muller, editors, UML’98 Proceedings. Springer-Verlag, LNCS 1618, 1998.