S. Ali, H. Hemmati, N. Holt, E. Arisholm, and L. Briand, Model Transformations as a Strategy to Automate Model-Based Testing-A Tool and Industrial Case Studies, pp.1-28, 2010.

P. Asirelli, M. H. Ter-beek, A. Fantechi, S. Gnesi, and F. Mazzanti, Design and validation of variability in product lines, Proceeding of the 2nd international workshop on Product line approaches in software engineering, PLEASE '11, pp.25-30, 2011.
DOI : 10.1145/1985484.1985492

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

C. Baier and J. P. Katoen, Principles of Model Checking, 2007.

J. Blom, A. Hessel, B. Jonsson, and P. Pettersson, Specifying and Generating Test Cases Using Observer Automata, Proceedings of the 4th international conference on Formal Approaches to Software Testing, pp.125-139, 2005.
DOI : 10.1007/3-540-40911-4_20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.3418

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, 2011.
DOI : 10.1145/1985793.1985838
URL : https://hal.archives-ouvertes.fr/hal-01087657

A. Classen, Modelling and Model Checking Variability-Intensive Systems, 2011.

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-34410, 2010.
DOI : 10.1145/1806799.1806850

M. Cordy, A. Classen, P. Heymans, P. Y. Schobbens, and A. Legay, Managing evolution in software product lines, Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '12, pp.183-191, 2012.
DOI : 10.1145/2110147.2110168
URL : https://hal.archives-ouvertes.fr/hal-00718216

M. Cordy, A. Classen, G. Perrouin, P. Heymans, P. Y. Schobbens et al., Simulation relation for software product lines: Foundations for scalable model-checking, Proceedings of the 34th International Conference on Software Engineering, p.2012, 2012.
DOI : 10.1145/2110147.2110168

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

C. Ebert and C. Jones, Embedded Software: Facts, Figures, and Future, Computer, vol.42, issue.4, pp.42-52, 2009.
DOI : 10.1109/MC.2009.118

E. Engström and P. Runeson, Software product line testing ??? A systematic mapping study, Information and Software Technology, vol.53, issue.1, pp.2-13, 2010.
DOI : 10.1016/j.infsof.2010.05.011

A. Fantechi and S. Gnesi, A behavioural model for product families In: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIG- SOFT symposium on The foundations of software engineering, ESEC-FSE '07, pp.521-524, 2007.

A. Fantechi and S. Gnesi, Formal Modeling for Product Families Engineering, 2008 12th International Software Product Line Conference, pp.193-202, 2008.
DOI : 10.1109/SPLC.2008.45

D. Fischbein, S. Uchitel, and V. Braberman, A foundation for behavioural conformance in software product line architectures, Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis , ROSATEA '06, pp.39-48, 2006.
DOI : 10.1145/1147249.1147254

M. Gogolla and F. Parisi-presicce, State diagrams in UML: A formal semantics using graph transformations, Proceedings PSMT. pp, pp.55-72, 1998.

A. Gruler, M. Leucker, and K. Scheidemann, Calculating and Modeling Common Parts of Software Product Lines, 2008 12th International Software Product Line Conference, 2008.
DOI : 10.1109/SPLC.2008.22

A. Gruler, M. Leucker, and K. Scheidemann, Modeling and model checking software product lines Formal Methods for Open Object-Based Distributed Systems, pp.113-131, 2008.
DOI : 10.1007/978-3-540-68863-1_8
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.5754

A. Hessel, K. Larsen, M. Mikucionis, B. Nielsen, P. Pettersson et al., Testing realtime systems using UPPAAL, Formal methods and testing, pp.77-117, 2008.
DOI : 10.1007/978-3-540-78917-8_3

N. E. Holt, E. Arisholm, and L. Briand, Technical report 2009-06: An eclipse plug-in for the flattening of concurrency and hierarchy in uml state machines, 2009.

A. Kalnins, J. Barzdins, and E. Celms, Model Transformation Language MOLA, Model Driven Architecture, pp.900-900, 2005.
DOI : 10.1007/11538097_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.996

K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. Spencer-peterson, Feature-Oriented domain analysis (FODA) feasibility study, 1990.

K. Lauenroth, K. Pohl, and S. Toehning, Model Checking of Domain Artifacts in Product Line Engineering, 2009 IEEE/ACM International Conference on Automated Software Engineering, 2009.
DOI : 10.1109/ASE.2009.16

H. C. Li, S. Krishnamurthi, and K. Fisler, Interfaces for modular feature verification, Proceedings 17th IEEE International Conference on Automated Software Engineering,, 2002.
DOI : 10.1109/ASE.2002.1115013
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.8952

A. Mathur, Foundations of software testing, 2008.

P. A. Muller, F. Fleurey, and J. M. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, Model Driven Engineering Languages and Systems, pp.264-278, 2005.
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095

G. Myers, The art of software testing, 1979.
DOI : 10.1002/9781119202486

S. Oster, A. Wöbbeke, G. Engels, and A. Schürr, Model-based software product lines testing survey Model-Based Testing for Embedded Systems, Computational Analysis, Synthesis, and Design of Dynamic Systems, pp.339-382, 2011.

S. Oster, M. Zink, M. Lochau, and M. Grechanik, Pairwise feature-interaction testing for SPLs, Proceedings of the 15th International Software Product Line Conference on, SPLC '11, pp.1-6, 2011.
DOI : 10.1145/2019136.2019143

S. Oster, I. Zorcic, F. Markert, and M. Lochau, MoSo-PoLiTe, Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '11, pp.79-82, 2011.
DOI : 10.1145/1944892.1944901

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.1-39, 2011.
DOI : 10.1007/s11219-011-9160-9
URL : https://hal.archives-ouvertes.fr/hal-00805856

K. Pohl, G. Böckle, and F. Van-der-linden, Software product line engineering: foundations, principles, and techniques, 2005.
DOI : 10.1007/3-540-28901-1

P. Y. Schobbens, P. Heymans, J. C. 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

T. Thüm, S. Apel, C. Kästner, M. Kuhlemann, I. Schaefer et al., Analysis Strategies for Software Product Lines, 2012.

J. Tretmans, R. M. Hierons, J. P. Bowen, and M. Harman, Model Based Testing with Labelled Transition Systems, Formal methods and testing, pp.1-38, 2008.
DOI : 10.1007/978-3-540-78917-8_1

M. Utting and B. Legeard, Practical model-based testing: a tools approach, 2007.

A. Wasowski, Flattening statecharts without explosions, ACM SIGPLAN Notices, vol.39, issue.7, pp.257-266, 2004.
DOI : 10.1145/998300.997200
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.9174

S. Weißleder, Test models and coverage criteria for automatic model-based test generation with UML state machines, 2010.

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