1. Kerkouche Elhillali, Modélisation multi-paradigme, Thèse  de  Doctorat en sciences ,  Université Mentouri Constantine, 2012.

2. Cours « Génie logiciels »,  Pierre Gérard, Université de Paris 13,  20072008.

3. Davide Buscaldi, OMG’s Model Driven Architecture.
 4. Cours, «Ingénierie des modèles », Alain Cariou, Université de Pau, France, 2020/2021.
 5. Cours «Ingénierie Dirigée par des les Modèles », Alloua Chaoui, Université de Constantine 2, 2020/2021.
6. Livre de Xavier Blanc , MDA en action, Editions Eyrolles
7. Oscar Nierstrasz, OMG’s Model Driven Architecture
8. AToMPM home page : https://atompm.github.io/
9. Marc Andries, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jorg Kreowski, Sabine Kuske, Detlef Pump, Andy Schürr and Gabriele Taentzer, "Graph transformation for specification and programming", Science of Computer programming, vol 34, NO°1, pages 1-54, Avril 1999.

10. Meghzili said , Thèse  de  Doctorat, Approches de vérification formelle de transformations de modèles basées sur le model-checking et les démonstrateurs de théorèmes. Université Constantine 2, Algérie, 2019.

11. Makhloufi & Benkara, Mémoire  de Master RSD , Université de Constantine 2, 2017.

12. Amrani Moussa, et al.  Formal verification techniques for model transformations: A tridimensional classification.  The Journal of Object Technology 14.3 (2015).

13. Jensen, Kurt, and Lars M. Kristensen. Coloured Petri nets: modelling and validation of concurrent systems. Springer Science & Business Media, 2009.

14. The Object Constraint Language: Precise Modeling with UML, by Jos Warmer and Anneke Kleppe

15. Marianne Huchard, "Object Constraint Language (OCL) Une introduction", 2007.

16. Bernhard Beckert ,   “ Introduction to OCL, Universität Koblen Landau".

17. Cours “OCL”, Laetitia Matignon,  Université Claude Bernard Lyon 1, 2012- 2013.

18. Grzegorz Rozenberg, "Handbook of Graph Grammars and Computing by Graph Transformation", Vol.1. World Scientific,  1999.

19. GROOVE home page, https://groove.ewi.utwente.nl/.

20. Jeannette M. Wing, "A Specifier's Introduction to Formal Methods", Computer, vol.23(9):8-23, 1990.

21. Meghzili  Said, et al. "Verification of Model Transformations Using Isabelle/HOL and Scala." Information Systems Frontiers 21.1 (2019): 45-65.

22. Cours “ Méthodes formelles pour le parallélisme”, Saidouni , Université de Constantine 2.

23. Jean-Marie Favre, Jacky Establier, Mireille Blay-Fornarino, L'ingénierie dirigée par les modèles : au-delà du MDA, 236 pages, Editeur : Hermes-Lavoisier.

24.  Da Silva, Alberto Rodrigues. "Model-driven engineering: A survey supported by the unified conceptual model." Computer Languages, Systems & Structures 43 (2015): 139-155.