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

J. Bartholdt, R. Oberhauser, and A. Rytina, An Approach to Addressing Entity Model Variability within Software Product Lines, 2008 The Third International Conference on Software Engineering Advances, p.8, 2008.
DOI : 10.1109/ICSEA.2008.30

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
DOI : 10.1145/1806799.1806850

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

I. Cabral, M. B. Cohen, and G. , Improving the Testing and Testability of Software Product Lines, SPLC'10
DOI : 10.1007/978-3-642-15579-6_17

X. Devroey, M. Cordy, G. Perrouin, E. Kang, P. Schobbens et al., A vision for behavioural modeldriven validation of software product lines, ISoLA'12
URL : https://hal.archives-ouvertes.fr/hal-00726121

T. Thüm, S. Apel, C. Kästner, I. Schaefer, and G. Saake, A Classification and Survey of Analysis Strategies for Software Product Lines, ACM Computing Surveys, vol.47, issue.1, 2014.
DOI : 10.1145/2580950

M. Utting and B. Legeard, Practical Model-based Testing, 2007.

H. , L. Guen, and T. Thelin, Practical experiences with statistical usage testing, Software Technology and Engineering Practice, 2003.

E. Engström and P. Runeson, Software product line testing ??? A systematic mapping study, Inf. Softw
DOI : 10.1016/j.infsof.2010.05.011

A. Feliachi and H. Le-guen, Generating Transition Probabilities for Automatic Model-Based Test Generation, 2010 Third International Conference on Software Testing, Verification and Validation, pp.99-102, 2010.
DOI : 10.1109/ICST.2010.26

J. Zander-nowicka, Model-Based Testing of Real-Time Embedded Systems in the Automotive Domain, 2009.

J. G. Kemeny and J. L. Snell, Finite Markov chains, 1960.

H. Le-guen, R. Marie, and T. Thelin, Reliability Estimation for Statistical Usage Testing using Markov Chains, 15th International Symposium on Software Reliability Engineering
DOI : 10.1109/ISSRE.2004.33

H. Samih, Relating variability modeling and model-based testing for software product lines testing, ICTSS'12

M. Lochau, I. Schaefer, J. Kamischke, and S. Lity, Incremental modelbased testing of delta-oriented software product lines, p.12