1. Alonso, A., Martínez, N., Pickin, S. and Sánchez, L. (1998) COMITY Method Guide. Advanced Version, Deliverable D21.2.1 of the Esprit project 23015 COMITY.
2. Arnold, K. and Gosling, J. (1997) The Java Programming Language, Addison-Wesley.
3. LNCS;M Beeck von der,1994
4. Harel, D. (1987) Statecharts A visual formalism for complex systems, Science of Computer Programming, vol. 8, pp. 231–274,.
5. Harel, D. and Naamad (1996) A. The Statemate semantics of Statecharts. ACM Trans. Soft. Eng. Method. 5:4, Oct. 1996.