J. Miller and J. Mukerji, MDA Guide Version 1.0.1. In: Object Management Group (OMG), 2003.

P. Barbosa, F. Ramalho, J. Figueiredo, and A. Junior, An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations, 2008 32nd Annual IEEE Software Engineering Workshop, 2008.
DOI : 10.1109/SEW.2008.8

C. Girault and V. R. , Petri Nets for Systems Engineering, 2003.
DOI : 10.1007/978-3-662-05324-9
URL : https://hal.archives-ouvertes.fr/hal-01489070

L. Gomes, J. P. Barros, A. Costa, R. Pais, and F. Moutinho, Formal Methods for Embedded Systems Co-design: the FORDESIGN Project, ReCoSoC'05-Reconfigurable Communication-centric Systems-on-Chip -Workshop Proceedings, 2005.
DOI : 10.1109/etfa.2005.1612535

D. Scott and C. Strachey, Towards a Mathematical Semantics for Computer Languages, Proceedings of the Symposium on Computers and Automata of Microwave Research Institute Symposia Series, 1971.

J. Hausmann, Dynamic Meta Modeling: A Semantics Description Technique for Visual Modeling Techniques, 2005.

D. A. Schmidt, Denotational Semantics: a Methodology for Language Development, 1986.

L. Hillah, F. Kordon, L. Petrucci, and N. Tréves, Model Engineering on Petri nets for ISO/IEC 15909-2: API Framework for Petri Net types metamodels. Petri Net Newsletter, pp.22-40, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00084187

P. Barbosa, A. Costa, F. Ramalho, J. Figueiredo, L. Gomes et al., Checking Semantics Equivalence of MDA Transformations in Concurrent Systems, Journal of Universal Computer Science (J.UCS), 2009.

J. Meseguer and U. Montanari, Petri nets are monoids: a new algebraic foundation for net theory, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science, pp.155-164, 1988.
DOI : 10.1109/LICS.1988.5114

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., Maude: specification and programming in rewriting logic, Theoretical Computer Science, vol.285, issue.2, 2001.
DOI : 10.1016/S0304-3975(01)00359-0
URL : https://doi.org/10.1016/s0304-3975(01)00359-0

J. Bezivin, E. Breton, P. Valduriez, and G. Dupr, The ATL Transformation-Based Model Management Framework, p.produced from IRIN, 2003.

Z. Hu and S. M. Shatz, Mapping UML Diagrams to a Petri Net Notation for System Simulation, pp.213-219, 2004.

I. Weisemller and A. Schrr, Formal Definition of MOF 2.0 Metamodel Components and Composition, Lecture Notes in Computer Science, vol.5301, pp.386-400, 2008.
DOI : 10.1007/978-3-540-87875-9_28

P. Kelsen and Q. Ma, A Lightweight Approach for Defining the Formal Semantics of a Modeling Language, MoDELS '08: Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems, pp.690-704, 2008.
DOI : 10.1007/978-3-540-87875-9_48

G. Arévalo, J. R. Falleri, M. Huchard, and C. Nebut, Building Abstractions in Class Models: Formal Concept Analysis in a Model-Driven Approach, pp.513-527, 2006.
DOI : 10.1007/11880240_36