B. Arnold, A. Van-deursen, and M. Res, An algebraic specification of a language for describing financial products, Proceedings of the ICSE-17 Workshop on Formal Methods Application in Software Engineering Practice, pp.6-13, 1995.

S. Beydeda and V. Gruhn, Model-Driven Software Development, 2005.
DOI : 10.1007/3-540-28554-7

M. Bravenboer, K. T. Kalleberg, R. Vermaas, and E. Visser, Stratego/XT 0.16, Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation , PEPM '06, pp.95-99, 2006.
DOI : 10.1145/1111542.1111558

L. Burgy, C. Consel, F. Latry, J. Lawall, L. Réveilì et al., Language Technology for Internet-Telephony Service Creation, 2006 IEEE International Conference on Communications, 2006.
DOI : 10.1109/ICC.2006.254980
URL : https://hal.archives-ouvertes.fr/inria-00196518

J. Bzivin, G. Hillairet, F. Jouault, I. Kurtev, and W. Piers, Bridging the ms/dsl tools and the eclipse modeling framework, Proceedings of the International Workshop on Software Factories at OOPSLA 2005, 2005.

C. Consel, F. Latry, L. Réveilì, and P. Cointe, A Generative Programming Approach to Developing DSL Compilers, Proceedings of the Fourth International Conference on Generative Programming and Component Engineering (GPCE'05), pp.29-46, 2005.
DOI : 10.1007/11561347_4
URL : https://hal.archives-ouvertes.fr/hal-00350045

C. Consel and R. Marlet, Architecturing software using a methodology for language development, Proceedings of the 10th International Symposium on Programming Language Implementation and Logic Programming (PLILP'98), volume 1490 of Lecture Notes in Computer Science, pp.170-194, 1998.
URL : https://hal.archives-ouvertes.fr/inria-00476073

S. Cook, Domain-Specific Modeling and Model Driven Architecture, The MDA Journal: Model Driven Architecture Straight from the Masters, 2004.

J. R. Cordy, T. R. Dean, A. J. Malton, and K. A. Schneider, Source transformation in software engineering using the txl transformation system. Information & Software Technology, Special Issue on Source Code Analysis and Manipulation, pp.44827-837, 2002.

K. Czarnecki and S. Helsen, Classification of Model Transformation Approaches, Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of the Model Driven Architecture, 2003.

A. Van-deursen, Domain-Specific Languages versus Object-Oriented Frameworks: A Financial Engineering Case Study, Proceedings of Smalltalk and Java in Industry and Academia (STJA'97), pp.35-39, 1997.

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

E. Conal, An Embedded Modeling Language Approach to Interactive 3D and Multimedia Animation, Software Engineering, vol.25, issue.3, pp.291-308, 1999.

J. Greenfield, K. Short, S. Cook, and S. Kent, Software factories, Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications , OOPSLA '03, 2004.
DOI : 10.1145/949344.949348

S. N. Kamin and D. Hyatt, A Special-Purpose Language for Picture-Drawing, Proceedings of the Conference on Domain-Specific Languages, pp.297-310, 1997.

L. Lamport, The temporal logic of actions, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.872-923, 1994.
DOI : 10.1145/177492.177726

L. Lamport, Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

J. Lennox, Services for Internet Telephony, 2004.

J. Lennox and H. Schulzrinne, Call Processing Language Framework and Requirements. Request For Comments (RFC) 2824, The Internet Engineering Task Force (IETF), 2000.

P. J. Mccann and S. Chandra, Packet types: abstract specification of network protocol messages, Proceedings of the conference on Applications, Technologies, Architectures, and Protocols for Computer Communication (SIGCOMM'00), pp.321-333, 2000.

P. Murray-rust, Chemical Markup Language (CML) World Wide Web Journal, pp.135-147, 1997.
DOI : 10.1021/ci0256541

D. A. Schmidt, Denotational semantics: a methodology for language development, 1986.

S. Thibault, C. Consel, and G. Muller, Safe and efficient active network programming, Proceedings Seventeenth IEEE Symposium on Reliable Distributed Systems (Cat. No.98CB36281), 1998.
DOI : 10.1109/RELDIS.1998.740484
URL : https://hal.archives-ouvertes.fr/inria-00073334

J. P. Tolvanen, Domain-specific modeling for full code generation, 2004.

J. P. Tolvanen, MetaEdit+, Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications , OOPSLA '04, pp.39-40, 2004.
DOI : 10.1145/1028664.1028686

E. Visser, Meta-programming with Concrete Object Syntax, Proceedings of the Generative Programming and Component Engineering, pp.299-315, 2002.
DOI : 10.1007/3-540-45821-2_19

Y. Yu, P. Manolios, and L. Lamport, Model Checking TLA+ Specifications, Proceedings of the 10th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods (CHARME'99), pp.54-66, 1999.
DOI : 10.1007/3-540-48153-2_6