E. Börger, A. Cavarra, and E. Riccobene, On formalizing UML state machines using ASMs, Information and Software Technology, vol.46, issue.5, pp.287-292, 2004.
DOI : 10.1016/j.infsof.2003.09.009

K. Carter, iUMLite tool suite and ASL language. from Kennedy Carter's website (http

M. Von and D. Beeck, A comparison of statecharts variants, Formal technics in Real-Time and Fault-tolerant Systems, pp.128-148, 1994.

E. Gamma, . Helm, . Richard, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, 1995.

A. Le-guennec, G. Sunyé, and J. Jézéquel, Precise Modeling of Design Patterns, Proceedings of UML 2000, pp.482-496, 1939.
DOI : 10.1007/3-540-40011-7_35
URL : https://hal.archives-ouvertes.fr/hal-00794308

D. Harel, Statecharts: a visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987.
DOI : 10.1016/0167-6423(87)90035-9

D. Harel and E. Gery, Executable object modeling with statecharts, ICSE '96: Proceedings of the 18th international conference on Software engineering, pp.246-257, 1996.

D. Harel and A. Naamad, The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology, vol.5, issue.4, pp.293-333, 1996.
DOI : 10.1145/235321.235322

W. Ho and J. Jézéquel, Alain Le Guennec, and François Pennaneac'h. UMLAUT: an extendible UML transformation framework, Proc. Automated Software Engineering, ASE'99, 1999.

A. Jauhar and J. Tanaka, Implementation of the Dynamic Behavior of Object Oriented System, Third World Conference on Integrated Design and Process Technology (IDPT'98), 1998.

A. Jauhar and J. Tanaka, Implementing the dynamic behavior represented as multiple state diagrams and activity diagrams, Journal of Computer Science & Information Management (JCSIM), vol.2, issue.1, pp.24-36, 2001.

F. Muller and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, Proceedings of UML MoDELs 2005, 2005.
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095

D. Pollet, D. Vojtisek, and J. Jézéquel, OCL as a core UML transformation language. WITUML 2002 Position paper, 2002.

R. Soley and . Group, Model Driven Architecture. White papers, Object Management Group, 2000.

T. Tomura and S. Kanai, Developing simulation models of open distributed control system by using object-oriented structural and behavioral patterns, Fourth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISORC 2001, pp.428-437, 2001.
DOI : 10.1109/ISORC.2001.922868

D. Michael-von and . Beeck, A structured operational semantics for UML-statecharts. Software and System Modeling, pp.130-141, 2002.

T. Ziadi, Manipulation de lignes de produits en UML, 2004.
DOI : 10.3166/objet.9.1-2.227-240
URL : https://hal.inria.fr/hal-00794837/file/Ziadi03a.pdf