M. Acher, P. Collet, P. Lahire, and R. B. France, FAMILIAR: A domain-specific language for large scale management of feature models, Science of Computer Programming, vol.78, issue.6, pp.657-681, 2013.
DOI : 10.1016/j.scico.2012.12.004
URL : https://hal.archives-ouvertes.fr/hal-00767175

M. Acher, B. Combemale, P. Collet, O. Barais, P. Lahire et al., Composing Your Compositions of Variability Models, MODELS, pp.352-369, 2013.
DOI : 10.1007/978-3-642-41533-3_22
URL : https://hal.archives-ouvertes.fr/hal-00859473

M. Amrani, B. Combemale, L. Lucio, G. M. Selim, J. Dingel et al., Formal Verification Techniques for Model Transformations: A Tridimensional Classification ., The Journal of Object Technology, vol.14, issue.3, pp.1-43, 2015.
DOI : 10.5381/jot.2015.14.3.a1
URL : https://hal.archives-ouvertes.fr/hal-01083759

K. Bak, K. Czarnecki, and A. Wasowski, Feature and meta-models in clafer: mixed, specialized, and coupled, SLE, pp.102-122, 2011.

D. Benavides, S. Segura, and A. Ruiz-cortés, Automated analysis of feature models 20 years later: A literature review, Information Systems, vol.35, issue.6, pp.615-636, 2010.
DOI : 10.1016/j.is.2010.01.001

Q. Boucher, G. Perrouin, and P. Heymans, Deriving configuration interfaces from feature models, Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '12, pp.37-44, 2012.
DOI : 10.1145/2110147.2110152
URL : https://hal.archives-ouvertes.fr/hal-00718286

A. Classen, M. Cordy, P. Schobbens, P. Heymans, A. Legay et al., Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking, IEEE Transactions on Software Engineering, vol.39, issue.8, pp.391069-1089, 2013.
DOI : 10.1109/TSE.2012.86

M. Clavel, F. Duran, S. Eker, P. Lincoln, N. M. Oliet et al., All About Maude, 2007.

J. S. Cuadrado, E. Guerra, and J. Lara, Generic model transformations: write once, reuse everywhere, Theory and practice of model transformations, pp.62-77, 2011.

J. De-lara and E. Guerra, Reusable Graph Transformation Templates, Applications of Graph Transformations with Industrial Relevance, pp.35-50, 2011.
DOI : 10.1007/978-3-642-34176-2_5

J. De-lara and E. Guerra, Towards the flexible reuse of model transformations: A formal approach based on graph transformation, Journal of Logical and Algebraic Methods in Programming, vol.83, issue.5-6, pp.5-6427, 2014.
DOI : 10.1016/j.jlamp.2014.08.005

J. De-lara, E. Guerra, and J. S. Cuadrado, A-posteriori typing for Model-Driven Engineering, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), pp.156-165, 2015.
DOI : 10.1109/MODELS.2015.7338246

T. Degueule, B. Combemale, A. Blouin, O. Barais, and J. Jézéquel, Melange: A meta-language for modular and reusable development of dsls, SLE, pp.25-36, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01197038

F. Fleurey, J. Steel, and B. Baudry, Validation in model-driven engineering: testing model transformations, Proceedings. 2004 First International Workshop on Model, Design and Validation, 2004., pp.29-40, 2004.
DOI : 10.1109/MODEVA.2004.1425846

C. Guy, B. Combemale, S. Derrien, J. R. Steel, and J. Jézéquel, On Model Subtyping, ECMFA, pp.400-415, 2012.
DOI : 10.1007/978-3-642-31491-9_30
URL : https://hal.archives-ouvertes.fr/hal-00726399

Ø. Haugen, B. Møller-pedersen, J. Oldevik, G. K. Olsen, and A. Svendsen, Adding Standardized Variability to Domain Specific Languages, 2008 12th International Software Product Line Conference, pp.139-148, 2008.
DOI : 10.1109/SPLC.2008.25

S. Holthusen, D. Wille, C. Legat, S. Beddig, I. Schaefer et al., Family model mining for function block diagrams in automation software, Proceedings of the 18th International Software Product Line Conference on Companion Volume for Workshops, Demonstrations and Tools, SPLC '14, pp.36-43, 2014.
DOI : 10.1145/2647908.2655965

C. Jeanneret, M. Glinz, and B. Baudry, Estimating footprints of model operations, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.601-610, 2011.
DOI : 10.1145/1985793.1985875
URL : https://hal.archives-ouvertes.fr/hal-00641091

M. F. Johansen, Ø. Haugen, and F. Fleurey, Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible, MODELS, pp.638-652, 2011.
DOI : 10.1109/TSE.2010.30

K. Kang, S. Cohen, J. Hess, W. Novak, and S. Peterson, Feature-oriented domain analysis (foda) feasibility study, 1990.

C. Kästner, S. Apel, T. Thüm, and G. Saake, Type checking annotation-based product lines, ACM Transactions on Software Engineering and Methodology, vol.21, issue.3, p.14, 2012.
DOI : 10.1145/2211616.2211617

A. Kusel, J. Schönböck, M. Wimmer, G. Kappel, W. Retschitzegger et al., Reuse in model-to-model transformation languages: are we there yet?, Software & Systems Modeling, vol.43, issue.4, pp.537-572, 2015.
DOI : 10.1007/s10270-013-0343-7

L. Lúcio, M. Amrani, J. Dingel, L. Lambers, R. Salay et al., Model transformation intents and their properties, Software & Systems Modeling, vol.211, issue.1, 2014.
DOI : 10.1007/s10270-014-0429-x

J. Martinez, T. Ziadi, T. Bissyandé, J. Klein, and Y. Le-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

J. Martinez, T. Ziadi, J. Klein, and Y. Le-traon, Identifying and Visualising Commonality and Variability in Model Variants, ECMFA, pp.117-131, 2014.
DOI : 10.1007/978-3-319-09195-2_8
URL : https://hal.archives-ouvertes.fr/hal-01215547

N. Moha, V. Mahé, O. Barais, and J. Jézéquel, Generic Model Refactorings, MODELS, pp.628-643, 2009.
DOI : 10.1007/s10270-006-0036-6
URL : https://hal.archives-ouvertes.fr/inria-00468657

J. Mottu, B. Baudry, and Y. Le-traon, Mutation Analysis Testing for Model Transformations, ECMDA-FA, pp.376-390
DOI : 10.1007/11787044_28
URL : https://hal.archives-ouvertes.fr/hal-00456532

G. Perrouin, J. Klein, N. Guelfi, and J. Jézéquel, Reconciling Automation and Flexibility in Product Derivation, 2008 12th International Software Product Line Conference, pp.339-348, 2008.
DOI : 10.1109/SPLC.2008.38
URL : https://hal.archives-ouvertes.fr/inria-00456507

G. Perrouin, G. Vanwormhoudt, B. Morin, P. Lahire, O. Barais et al., Weaving variability into domain metamodels, Software & Systems Modeling, vol.6, issue.4, pp.361-383, 2012.
DOI : 10.1007/s10270-010-0186-4
URL : https://hal.archives-ouvertes.fr/inria-00468519

K. Pohl, G. Böckle, and F. J. Van-der-linden, Software Product Line Engineering: Foundations, Principles and Techniques, 2005.
DOI : 10.1007/3-540-28901-1

J. Rubin and M. Chechik, Combining Related Products into Product Lines, FASE, pp.285-300, 2012.
DOI : 10.1007/978-3-642-28872-2_20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.416.3814

J. Rubin and M. Chechik, Quality of Merge-Refactorings for Product Lines, FASE, pp.83-98, 2013.
DOI : 10.1007/978-3-642-37057-1_7

J. Rubin, K. Czarnecki, and M. Chechik, Managing cloned variants, Proceedings of the 17th International Software Product Line Conference on, SPLC '13, pp.101-110, 2013.
DOI : 10.1145/2491627.2491644

R. Salay, M. Famelis, J. Rubin, A. D. Sandro, and M. Chechik, Lifting model transformations to product lines, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp.117-128, 2014.
DOI : 10.1145/2568225.2568267

J. , S. Cuadrado, J. García, and . Molina, Approaches for model transformation reuse: Factorization and composition, Theory and Practice of Model Transformations, pp.168-182, 2008.

P. Schobbens, P. Heymans, J. Trigaux, and Y. Bontemps, Generic semantics of feature diagrams, Computer Networks, vol.51, issue.2, pp.456-479, 2007.
DOI : 10.1016/j.comnet.2006.08.008

J. Steel and J. Jézéquel, On model typing. Software and Systems Modeling, pp.401-413, 2007.
URL : https://hal.archives-ouvertes.fr/inria-00477547

D. Strüber, J. Rubin, M. Chechik, and G. Taentzer, A Variability-Based Approach to Reusable and Efficient Model Transformations, FASE, pp.283-298, 2015.
DOI : 10.1007/978-3-662-46675-9_19

M. Tisi, F. Jouault, P. Fraternali, S. Ceri, and J. Bézivin, On the Use of Higher-Order Model Transformations, LNCS, vol.6, pp.18-33, 2009.
DOI : 10.1007/978-3-540-69927-9_11
URL : https://hal.archives-ouvertes.fr/hal-00782464

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, pp.167-176, 2014.
DOI : 10.1145/2648511.2648529
URL : https://hal.archives-ouvertes.fr/hal-01023864

J. White, J. H. Hill, J. Gray, S. Tambe, A. 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

X. Zhang, Ø. Haugen, and B. Møller-pedersen, Model Comparison to Synthesize a Model-Driven Software Product Line, 2011 15th International Software Product Line Conference, pp.90-99, 2011.
DOI : 10.1109/SPLC.2011.24

X. Zhang, Ø. Haugen, and B. Møller-pedersen, Augmenting Product Lines, 2012 19th Asia-Pacific Software Engineering Conference, pp.766-771, 2012.
DOI : 10.1109/APSEC.2012.76

S. Zschaler, Towards constraint-based model types -a generalised formal foundation for model genericity, View-Based, Aspect-Oriented and Orthographic Software Modelling, pp.11-1118, 2014.
DOI : 10.1145/2631675.2631678