A. Van-deursen, P. Klint, and J. Visser, Domain-specific languages, ACM SIGPLAN Notices, vol.35, issue.6, pp.26-36, 2000.
DOI : 10.1145/352029.352035

T. Nipkow, L. Paulson, and M. Wenzel, Isabelle/HOL. A Proof Assistant for Higher- Order Logic. Volume 2283 of Lecture Notes in Computer Science, 2002.

M. Odersky, An Overview of the Scala Programming Language, EPFL, 2007.

J. Bézivin, Model Driven Engineering: An Emerging Technical Space, Generative and Transformational Techniques in Software Engineering, pp.36-64, 2006.
DOI : 10.1007/11877028_2

B. Selic, The pragmatics of model-driven development, IEEE Software, vol.20, issue.5, pp.19-25, 2003.
DOI : 10.1109/MS.2003.1231146

A. G. Kleppe, J. Warmer, and W. Bast, MDA Explained : The Model Driven Architecture : Practice and Promise, 2003.

R. C. Gronback, Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit, NJ, 2009.

F. Budinsky, S. A. Brodsky, and E. Merks, Eclipse Modeling Framework, 2003.

R. B. France, A. Evans, K. Lano, and B. Rumpe, The UML as a formal modeling notation, Computer Standards & Interfaces, vol.19, issue.7, pp.325-334, 1998.
DOI : 10.1016/S0920-5489(98)00020-8

A. Idani, J. L. Boulanger, and L. Philippe, A generic process and its tool support towards combining UML and B for safety critical systems, pp.185-192, 2007.

A. Idani, T. A. Halpin, J. Krogstie, S. Nurcan, E. Proper et al., UML Models Engineering from Static and Dynamic Aspects of Formal Specifications, of Lecture Notes in Business Information Processing, pp.237-250, 2009.
DOI : 10.1007/BFb0053361
URL : https://hal.archives-ouvertes.fr/hal-00953588

S. M. Shah, K. Anastasakis, and B. Bordbar, From UML to Alloy and Back Again, Lecture Notes in Computer Science, vol.6002, pp.158-171, 2009.
DOI : 10.1007/978-3-642-12261-3_16

K. Anastasakis, B. Bordbar, G. Georg, and I. Ray, UML2Alloy: A Challenging Model Transformation, MoDELS. Lecture Notes in Computer Science, vol.4735, pp.436-450, 2007.
DOI : 10.1007/978-3-540-75209-7_30

D. Delahaye, J. F. Etienne, and V. Viguié-donzeau-gouge, A formal and sound transformation from Focal to UML: an application to airport security regulations, UML and Formal Methods (UML&FM). Innovations in Systems and Software Engineering (ISSE) NASA Journal, 2008.
DOI : 10.1007/s11334-008-0060-5
URL : https://hal.archives-ouvertes.fr/hal-01125584

J. De-lara and H. Vangheluwe, Using AToM 3 as a meta-case tool, Proceedings of the 4st International Conference on Enterprise Information Systems (ICEIS), Ciudad Real, pp.642-649, 2002.

K. Ehrig, C. Ermel, S. Hänsgen, and G. Taentzer, Generation of visual editors as eclipse plug-ins, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, pp.134-143, 2005.
DOI : 10.1145/1101908.1101930