M. Chechik, A. Gurfinkel, S. Uchitel, and S. Ben-david, Raising level of abstraction with partial models: A vision, Proceedings of NSF/MSR Workshop on Usable Verification, 2010.

J. Jézéquel, D. Méndez-acuña, T. Degueule, B. Combemale, and O. Barais, When systems engineering meets software language engineering, Complex Systems Design & Management, pp.1-13, 2015.

M. Mernik, J. Heering, and A. M. Sloane, When and how to develop domain-specific languages, ACM Computing Surveys, vol.37, issue.4, pp.316-344, 2005.
DOI : 10.1145/1118890.1118892
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.6.735

S. Oney, B. Myers, and J. Brandt, ConstraintJS, Proceedings of the 25th annual ACM symposium on User interface software and technology, UIST '12, pp.229-238
DOI : 10.1145/2380116.2380146

T. Lodderstedt, D. Basin, and J. Doser, SecureUML: A UML-Based Modeling Language for Model-Driven Security, UML 2002 -The Unified Modeling Language, pp.426-441, 2002.
DOI : 10.1007/3-540-45800-X_33
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.6554

A. Ribeiro and A. R. Da-silva, XIS-mobile, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC '14, pp.1316-1323
DOI : 10.1145/2554850.2554926

J. Gray, K. Fisher, C. Consel, G. Karsai, M. Mernik et al., DSLs, Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications, OOPSLA Companion '08, pp.791-794, 2008.
DOI : 10.1145/1449814.1449863
URL : https://hal.archives-ouvertes.fr/inria-00402566

M. Funk and M. Rauterberg, PULP Scription: A DSL for Mobile HTML5 Game Applications, ICEC 2012, pp.504-510
DOI : 10.1007/978-3-642-33542-6_65
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.389.7157

P. James and M. Roggenbach, Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans, Mathematics in Computer Science, vol.24, issue.1, pp.11-38, 2014.
DOI : 10.1007/s11786-014-0174-0
URL : http://arxiv.org/abs/1403.3034

A. Iliasov, I. Lopatkin, and A. Romanovsky, The SafeCap Platform for Modelling Railway Safety and Capacity, pp.130-137
DOI : 10.1007/978-3-642-40793-2_12
URL : http://eprint.ncl.ac.uk/file_store/production/192756/4C6FCAF8-D973-477F-A6BC-A6387B4A9B8D.pdf

S. Zschaler, P. Sánchez, J. Santos, M. Alférez, A. Rashid et al., VML* ??? A Family of Languages for Variability Management in Software Product Lines, Software Language Engineering, pp.82-102, 2010.
DOI : 10.1007/978-3-642-12107-4_7

J. White, J. H. Hill, J. Gray, S. Tambe, A. S. Gokhale et al., Improving Domain-Specific Language Reuse with Software Product Line Techniques, IEEE Software, vol.26, issue.4, pp.47-53, 2009.
DOI : 10.1109/MS.2009.95

D. Méndez-acuña, J. Galindo, T. Degueule, B. Combemale, and B. Baudry, Leveraging Software Product Lines Engineering in the development of external DSLs: A systematic literature review, Computer Languages, Systems & Structures, vol.46, 2016.
DOI : 10.1016/j.cl.2016.09.004

T. Kühn, W. Cazzola, and D. M. Olivares, Choosy and picky, Proceedings of the 19th International Conference on Software Product Line, SPLC '15, pp.71-80
DOI : 10.1145/2791060.2791092

T. Kühn and W. Cazzola, Apples and oranges, Proceedings of the 20th International Systems and Software Product Line Conference on, SPLC '16, 2016.
DOI : 10.1145/2934466.2934470

D. Méndez-acuña, J. A. Galindo, B. Combemale, A. Blouin, G. Le-guernic et al., Reverse-Engineering Reusable Language Modules from Legacy Domain-Specific Languages, Proceedings of the International Conference on Software Reuse, ICSR 2016, 2016.
DOI : 10.1007/978-3-319-35122-3_24

D. Méndez-acuña, J. A. Galindo, B. Combemale, A. Blouin, and B. Baudry, Puzzle: A Tool for Analyzing and Extracting Specification Clones in DSLs, Proceedings of the International Conference on Software Reuse, ICSR 2016, pp.393-396, 2016.
DOI : 10.1007/978-3-319-35122-3_26

M. Crane and J. , Uml vs. classical vs. rhapsody statecharts: not all models are created equal, Software & Systems Modeling, vol.6, issue.4

F. J. Linden, K. Schmid, and E. Rommes, Software Product Lines in Action: The Best Industrial Practice in Product Line Engineering, 2007.

D. Harel, H. Kugler, H. Ehrig, W. Damm, J. Desel et al., The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML), Integration of Software Specification Techniques for Applications in Engineering, pp.325-354, 2004.
DOI : 10.1007/978-3-540-27863-4_19

N. Martaj, M. Mokhtari, and . Stateflow, Chercheurs etÉtudiantset´etÉtudiants, MATLAB R2009, SIMULINK et STATEFLOW pour Ingénieurs, pp.513-586, 2010.

D. Harel and A. Naamad, The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology, vol.5, issue.4, pp.293-333, 1996.
DOI : 10.1145/235321.235322

R. E. Lopez-herrejon, L. Linsbauer, J. A. Galindo, J. A. Parejo, D. Benavides et al., An assessment of search-based techniques for reverse engineering feature models, Journal of Systems and Software, vol.103, pp.353-369, 2015.
DOI : 10.1016/j.jss.2014.10.037

J. Martinez, T. Ziadi, T. F. Bissyandé, J. Klein, and Y. L. Traon, Bottom-up adoption of software product lines, Proceedings of the 19th International Conference on Software Product Line, SPLC '15, pp.101-110, 2015.
DOI : 10.1145/2791060.2791086
URL : https://hal.archives-ouvertes.fr/hal-01214869

J. Martinez, T. Ziadi, T. F. Bissyand, J. Klein, and Y. Traon, Automating the Extraction of Model-Based Software Product Lines from Model Variants (T), 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.396-406, 2015.
DOI : 10.1109/ASE.2015.44

E. Vacchi, W. Cazzola, S. Pillay, and B. Combemale, Variability Support in Domain-Specific Language Development, SLE 2013, pp.76-95
DOI : 10.1007/978-3-319-02654-1_5
URL : https://hal.inria.fr/hal-00914715/document

E. Vacchi, W. Cazzola, B. Combemale, and M. Acher, Automating variability model inference for component-based language implementations, Proceedings of the 18th International Software Product Line Conference on, SPLC '14, 2014.
DOI : 10.1145/2648511.2648529
URL : https://hal.archives-ouvertes.fr/hal-01023864

B. Combemale, C. Hardebolle, C. Jacquet, F. Boulanger, and B. Baudry, Bridging the Chasm between Executable Metamodeling and Models of Computation, Proceedings of the International Conference on Software Language Engineering, pp.184-203, 2012.
DOI : 10.1007/978-3-642-36089-3_11
URL : https://hal.archives-ouvertes.fr/hal-00905067

J. Jézéquel, B. Combemale, O. Barais, M. Monperrus, and F. Fouquet, Mashup of metalanguages and its implementation in the Kermeta language workbench, Software & Systems Modeling, vol.30, issue.4, pp.905-920, 2015.
DOI : 10.1007/s10270-013-0354-4

D. Lucanu and V. Rusu, Program equivalence by circular reasoning, Proceedings of the International Conference on Integrated Formal Methods, IFM 2013, pp.362-377, 2013.
DOI : 10.1007/s00165-014-0319-6
URL : https://hal.archives-ouvertes.fr/hal-01065830

B. Biegel and S. Diehl, JCCD, Proceedings of the IEEE/ACM international conference on Automated software engineering, ASE '10, pp.167-168, 2010.
DOI : 10.1145/1858996.1859029

E. Bousse, T. Mayerhofer, B. Combemale, and B. Baudry, A Generative Approach to Define Rich Domain-Specific Trace Metamodels, pp.45-61
DOI : 10.1007/978-3-319-21151-0_4
URL : https://hal.archives-ouvertes.fr/hal-01154225

D. Harel and B. Rumpe, Meaningful modeling: what's the semantics of "semantics"?, Computer, vol.37, issue.10, 2004.
DOI : 10.1109/MC.2004.172

M. V. Cengarle, H. Grönniger, and B. Rumpe, Variability within Modeling Language Definitions, Model Driven Engineering Languages and Systems Lecture Notes in Computer Science, vol.29, issue.10, pp.670-684, 2009.
DOI : 10.1007/11557432_5
URL : http://arxiv.org/abs/1409.6585

H. Grönniger and B. Rumpe, Modeling Language Variability, Foundations of Computer Software. Modeling, Development , and Verification of Adaptive Systems, pp.17-32, 2011.
DOI : 10.1007/978-3-642-21292-5_2

M. Rosenmüller, N. Siegmund, T. Thüm, and G. Saake, Multi-dimensional variability modeling, Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '11, pp.11-20, 2011.
DOI : 10.1145/1944892.1944894

J. Liebig, R. Daniel, and S. , Feature-oriented language families, Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '13, pp.1-11, 2430502.
DOI : 10.1145/2430502.2430518

F. Roos-frantz, D. Benavides, A. Ruiz-cortés, A. Heuer, and K. Lauenroth, Quality-aware analysis in product line engineering with the orthogonal variability model, Software Quality Journal, vol.82, issue.8, pp.519-565, 2012.
DOI : 10.1007/s11219-011-9156-5

W. K. Assunçassunç?assunção, R. E. Lopez-herrejon, L. Linsbauer, S. R. Vergilio, and A. Egyed, Extracting variability-safe feature models from source code dependencies in system variants, Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, GECCO '15, pp.1303-1310

S. She, U. Ryssel, N. Andersen, A. Wasowski, and K. Czarnecki, Efficient synthesis of feature models, special Sections from Asia-Pacific Software Engineering Conference (APSEC), 2012 and Software Product Line conference (SPLC), pp.1122-1143, 2012.
DOI : 10.1016/j.infsof.2014.01.012

K. Czarnecki, S. Helsen, and U. Eisenecker, Staged Configuration Using Feature Models, Software Product Lines, pp.266-283, 2004.
DOI : 10.1007/978-3-540-28630-1_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.7465

T. Dinkelaker, M. Monperrus, and M. Mezini, Supporting variability with late semantic adaptations of domain-specific modeling languages, Proceedings of the First International Workshop on Composition and Variability, 2010.

T. Gschwind, Automated Adaptation of Component Interfaces with Type Based Adaptation, pp.45-61
DOI : 10.1007/978-1-4471-2350-7_5

J. Steel and J. Jézéquel, On model typing, Software & Systems Modeling, vol.3, issue.5, pp.401-413, 2007.
DOI : 10.1007/s10270-006-0036-6
URL : https://hal.archives-ouvertes.fr/inria-00477547

T. Degueule, B. Combemale, A. Blouin, O. Barais, and J. Jézéquel, Melange: A meta-language for modular and reusable development of dsls, Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, pp.25-36
URL : https://hal.archives-ouvertes.fr/hal-01197038

C. Guy, B. Combemale, S. Derrien, J. R. Steel, and J. Jézéquel, On Model Subtyping, Proceedings of the 8th European Conference on Modelling Foundations and Applications, ECMFA 2012, pp.400-415
DOI : 10.1007/978-3-642-31491-9_30
URL : https://hal.archives-ouvertes.fr/hal-00726399

P. Runeson and M. Höst, Guidelines for conducting and reporting case study research in software engineering, Empirical Software Engineering, vol.31, issue.5, pp.10-1007, 2008.
DOI : 10.1007/s10664-008-9102-8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.638.8943

W. Cazzola and E. Vacchi, Neverlang 2 ??? Componentised Language Development for the JVM, Software Composition, pp.17-32, 2013.
DOI : 10.1007/978-3-642-39614-4_2
URL : https://hal.archives-ouvertes.fr/hal-01492774

E. Vacchi and W. Cazzola, Neverlang: A framework for feature-oriented language development, Computer Languages, Systems & Structures, vol.43, pp.1-40, 2015.
DOI : 10.1016/j.cl.2015.02.001

S. Zschaler, D. S. Kolovos, N. Drivalos, R. F. Paige, and A. Rashid, Domainspecific metamodelling languages for software language engineering, Software Language Engineering, pp.978-981, 2010.
DOI : 10.1007/978-3-642-12107-4_23
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.148.5226