M. Acher, P. Collet, P. Lahire, and R. France, FAMILIAR: A domain-specific language for large scale management of feature models, Science of Computer Programming, vol.78, issue.6, p.22, 2013.
DOI : 10.1016/j.scico.2012.12.004

URL : https://hal.archives-ouvertes.fr/hal-00767175

M. Alférez, R. E. Lopez-herrejon, A. Moreira, V. Amaral, and A. Egyed, Supporting Consistency Checking between Features and Software Product Line Use Scenarios, Lecture Notes in Computer Science, vol.6727, pp.20-35, 2011.
DOI : 10.1007/978-3-642-21347-2_3

S. Apel, F. Janda, S. Trujillo, and C. Kästner, Model Superimposition in Software Product Lines
DOI : 10.1007/11561347_28

S. Apel and C. Kästner, An Overview of Feature-Oriented Software Development., The Journal of Object Technology, vol.8, issue.5, pp.49-84, 2009.
DOI : 10.5381/jot.2009.8.5.c5

P. Asirelli, M. H. Ter-beek, S. Gnesi, and A. Fantechi, Formal Description of Variability in Product Families, 2011 15th International Software Product Line Conference, pp.130-139, 2011.
DOI : 10.1109/SPLC.2011.34

B. Baudry, S. Ghosh, F. Fleurey, R. B. France, Y. L. Traon et al., Barriers to systematic model transformation testing, Communications of the ACM, vol.53, issue.6, pp.139-143, 2010.
DOI : 10.1145/1743546.1743583

URL : https://hal.archives-ouvertes.fr/inria-00542747

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

J. J. Cadavid, B. Baudry, and H. A. Sahraoui, Searching the boundaries of a modeling space to test metamodels, Antoniol et al. [3], pp.131-140
URL : https://hal.archives-ouvertes.fr/hal-00665866

L. Chen, M. A. Babar, and N. Ali, Variability management in software product lines: a systematic review, SPLC'09, pp.81-90, 2009.

D. Clarke, M. Helvensteijn, and I. Schaefer, Abstract delta modeling, Proceedings of the 9th GPCE'10 conference, pp.13-22, 2010.

A. Classen, P. Heymans, P. Schobbens, and A. Legay, Symbolic model checking of software product lines, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.321-330, 2011.
DOI : 10.1145/1985793.1985838

URL : https://hal.archives-ouvertes.fr/hal-01087657

A. Classen, P. Heymans, P. Schobbens, A. Legay, and J. Raskin, Model checking <u>lots</u> of systems, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, pp.335-344, 2010.
DOI : 10.1145/1806799.1806850

P. Clements and L. M. Northrop, Software Product Lines : Practices and Patterns, 2001.

K. Czarnecki and M. Antkiewicz, Mapping Features to Models: A Template Approach Based on Superimposed Variants, GPCE'05, pp.422-437, 2005.
DOI : 10.1007/11561347_28

K. Czarnecki, M. Antkiewicz, C. H. Kim, S. Lau, and K. Pietroszek, Model-driven software product lines, Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications , OOPSLA '05, pp.126-127, 2005.
DOI : 10.1145/1094855.1094896

K. Czarnecki, P. Grünbacher, R. Rabiser, K. Schmid, and A. , Cool features and tough decisions, Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '12, pp.173-182, 2012.
DOI : 10.1145/2110147.2110167

K. Czarnecki and K. Pietroszek, Verifying feature-based model templates against well-formedness OCL constraints, Proceedings of the 5th international conference on Generative programming and component engineering , GPCE '06, pp.211-220, 2006.
DOI : 10.1145/1173706.1173738

D. Dhungana, P. Grünbacher, R. Rabiser, and T. Neumayer, Structuring the modeling space and supporting evolution in software product line engineering, Journal of Systems and Software, vol.83, issue.7, pp.1108-1122, 2010.
DOI : 10.1016/j.jss.2010.02.018

A. Egyed, Automatically Detecting and Tracking Inconsistencies in Software Design Models, IEEE Transactions on Software Engineering, vol.37, issue.2, pp.188-204, 2011.
DOI : 10.1109/TSE.2010.38

J. B. Filho, O. Barais, J. L. Noir, and J. Jézéquel, Customizing the common variability language semantics for your domain models, Proceedings of the VARiability for You Workshop on Variability Modeling Made Useful for Everyone, VARY '12, pp.3-8, 2012.
DOI : 10.1145/2425415.2425417

F. Fleurey, Ø. Haugen, B. Møller-pedersen, A. Svendsen, and X. Zhang, Standardizing Variability ??? Challenges and Solutions, SDL Forum, pp.233-246, 2011.
DOI : 10.1016/j.comnet.2006.08.008

A. Gotlieb, A. Hervieu, and B. Baudry, Minimum Pairwise Coverage Using Constraint Programming Techniques, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, pp.773-774
DOI : 10.1109/ICST.2012.174

O. 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

F. Heidenreich, P. Sanchez, J. Santos, S. Zschaler, M. Alferez et al., Relating Feature Models to Other Models of a Software Product Line, pp.69-114, 2010.
DOI : 10.1007/978-3-642-16086-8_3

M. F. Johansen, Ø. Haugen, and F. Fleurey, An algorithm for generating t-wise covering arrays from large feature models, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, pp.46-55, 2012.
DOI : 10.1145/2362536.2362547

W. Mayer and M. Stumptner, Evaluating Models for Model-Based Debugging, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, pp.128-137, 2008.
DOI : 10.1109/ASE.2008.23

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, S. Oster, S. Sen, J. Klein, B. Baudry et al., Pairwise testing for software product lines: comparison of two approaches, Software Quality Journal, vol.82, issue.8, pp.3-4605, 2012.
DOI : 10.1007/s11219-011-9160-9

URL : https://hal.archives-ouvertes.fr/hal-00805856

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

I. Schaefer, L. Bettini, F. Damiani, and N. Tanzarella, Delta-Oriented Programming of Software Product Lines, Proceedings of the 14th international conference on Software product lines: going beyond, SPLC'10, pp.77-91, 2010.
DOI : 10.1007/978-3-642-15579-6_6

D. C. Schmidt, Model-Driven Engineering, IEEE Computer, vol.39, issue.2, 2006.

M. Svahnberg, J. Van-gurp, and J. Bosch, A taxonomy of variability realization techniques, Software: Practice and Experience, vol.2, issue.8, pp.705-754, 2005.
DOI : 10.1002/spe.652

A. Svendsen, Ø. Haugen, and B. Møller-pedersen, Specifying a Testing Oracle for Train Stations ??? Going beyond with Product Line Technology, LNCS, vol.7167, pp.187-201, 2011.
DOI : 10.1007/978-3-642-29645-1_20

A. Svendsen, X. Zhang, R. Lind-tviberg, F. Fleurey, Ø. Haugen et al., Developing a Software Product Line for Train Control: A Case Study of CVL, Lecture Notes in Computer Science, vol.6287, pp.106-120, 2010.
DOI : 10.1007/978-3-642-15579-6_8

S. Thaker, D. Batory, D. Kitchin, and W. Cook, Safe composition of product lines, Proceedings of the 6th international conference on Generative programming and component engineering , GPCE '07, pp.95-104, 2007.
DOI : 10.1145/1289971.1289989

M. Voelter and I. Groher, Product Line Implementation using Aspect-Oriented and Model-Driven Software Development, 11th International Software Product Line Conference (SPLC 2007), pp.233-242, 2007.
DOI : 10.1109/SPLINE.2007.23

J. Voirin, Method & tools to secure and support collaborative architecting of constrained systems, 18 th International Symposium of the INCOSE, 2008.

X. Zhang and B. Møller-pedersen, Towards Correct Product Derivation in Model-Driven Product Lines, Lecture Notes in Computer Science, vol.7744, pp.179-197, 2012.
DOI : 10.1007/978-3-642-36757-1_11

T. Ziadi and J. Jézéquel, Software Product Line Engineering with the UML: Deriving Products, Software Product Lines, pp.557-588, 2006.
DOI : 10.1007/978-3-540-33253-4_15