B. Schätz, A. Pretschner, F. Huber, and J. , Philipps, Model based development of embedded systems, Lecture Notes in Computer Science, vol.2426, pp.331-336, 2002.

D. Novillo, Tree SSA A New Optimization Infrastructure for GCC, GCC Developers Summit, 2003.

R. Cytron, J. Ferrante, B. Rosen, M. Wegman, and K. Zadeck, Efficiently computing static single assignment form and the control dependence graph, ACM Transactions on Programming Languages and Systems, vol.13, issue.4, pp.451-490, 1991.
DOI : 10.1145/115372.115320

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

R. C. Martin, Finite State Machines, C++ Report, 1998.

P. Metz, J. O-'brien, and W. Weber, Code Generation Concepts for Statecharts Diagram of UML v1.1, Object Technology Group, 1999.

F. Chauvel and J. Jézéquel, Code Generation from UML Models with Semantic Variation Points, Proceedings of UML MoDELs. Gottschling, A. Lumsdaine, Integrating Semantics and Compilation Using C++ concepts to develop robust and efficient reusable libraries, 2005.
DOI : 10.1007/11557432_5
URL : https://hal.archives-ouvertes.fr/hal-00795105

T. Moene, Front End Based Optimization: Premature or Inevitable?, GCC Developers' Summit, 2007.

S. J. Mellor, M. J. Balcer, and U. Executable, A Foundation for Model Driven Architecture, 2002.

M. Fowler, Refactoring, Proceedings of the 24th international conference on Software engineering , ICSE '02, 1999.
DOI : 10.1145/581441.581453

M. Lawley and J. Steel, Practical Declarative Model Transformation With Tefkat, Workshop Model Transformation in Practice, 2005.

A. Boronat, MOMENT: A Formal Framework for Model Management, 2007.