P. Asirelli, M. H. Ter-beek, A. Fantechi, and S. Gnesi, A Logical Framework to Deal with Variability, 8th IFM, number 6396 in LNCS, pp.43-58, 2010.
DOI : 10.1016/j.jlap.2008.05.003
URL : https://hal.archives-ouvertes.fr/inria-00525109

P. Asirelli, M. H. Ter-beek, S. Gnesi, and A. Fantechi, A deontic logical framework for modelling product families, VaMoS'10, pp.37-44, 2010.

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

D. Batory, D. Benavides, and A. Ruiz-cortes, Automated analysis of feature models, Communications of the ACM, vol.49, issue.12, pp.45-47, 2006.
DOI : 10.1145/1183236.1183264

R. E. Bryant, Symbolic Boolean manipulation with ordered binary-decision diagrams, ACM Computing Surveys, vol.24, issue.3, pp.293-318, 1992.
DOI : 10.1145/136035.136043

J. R. Burch, E. M. Clarke, K. L. Mcmillan, D. L. Dill, and L. J. Hwang, Symbolic model checking: 10/sup 20/ states and beyond, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, pp.142-170, 1992.
DOI : 10.1109/LICS.1990.113767

M. Calder, M. Kolberg, E. H. Magill, and S. Reiff-marganiec, Feature interaction: a critical review and considered forecast, Computer Networks, vol.41, issue.1, pp.115-141, 2003.
DOI : 10.1016/S1389-1286(02)00352-3

E. M. Clarke and E. A. Emerson, Design and synthesis of synchronization skeletons using branching-time temporal logic, Logic of Programs, pp.52-71, 1981.

A. Classen, CTL model checking for software product lines in NuSMV, 2010.

A. Classen, Modelling with FTS: a collection of illustrative examples, 2010.

A. Classen, P. Heymans, and P. Schobbens, What???s in a Feature: A Requirements Engineering Perspective, FASE'08, pp.16-30, 2008.
DOI : 10.1007/978-3-540-78743-3_2

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

A. Classen, P. Heymans, T. T. Tun, and B. Nuseibeh, Towards safer composition, 2009 31st International Conference on Software Engineering, Companion Volume, pp.227-230, 2009.
DOI : 10.1109/ICSE-COMPANION.2009.5070988
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.669.9006

P. C. Clements and L. 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

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

A. Fantechi and S. Gnesi, A behavioural model for product families, 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

N. Francez and I. Forman, Superimposition for inter-acting processes, Concur'90, pp.230-245, 1990.

A. Gruler, M. Leucker, and K. Scheidemann, Modeling and Model Checking Software Product Lines, IFIP WG 6.1 FMOODS '08, pp.113-131, 2008.
DOI : 10.1007/978-3-540-68863-1_8

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

K. G. Larsen, Modal specifications In Automatic Verification Methods for Finite State Systems, LNCS, vol.407, pp.232-246, 1989.

K. G. Larsen, U. Nyman, and A. Wasowski, Modal I/O Automata for Interface and Product Line Theories, ESOP, pp.64-79, 2007.
DOI : 10.1007/978-3-540-71316-6_6
URL : http://vbn.aau.dk/ws/files/16109957/ESOP2007withappendix.pdf

K. Lauenroth, S. Töhning, and K. Pohl, Model Checking of Domain Artifacts in Product Line Engineering, 2009 IEEE/ACM International Conference on Automated Software Engineering, pp.269-280, 2009.
DOI : 10.1109/ASE.2009.16

H. C. Li, S. Krishnamurthi, and K. Fisler, Verifying cross-cutting features as open systems, SIGSOFT FSE, pp.89-98, 2002.
DOI : 10.1145/587051.587066
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.9445

J. Liu, J. Dehlinger, and R. Lutz, Safety analysis of software product lines using state-based modeling, Journal of Systems and Software, vol.80, issue.11, pp.1879-1892, 2007.
DOI : 10.1016/j.jss.2007.01.047

K. Mcmillan, Symbolic Model Checking, Kluwer, 1993.

B. Morin, O. Barais, G. Nain, and J. Jézéquel, Taming Dynamically Adaptive Systems using models and aspects, 2009 IEEE 31st International Conference on Software Engineering, pp.122-132, 2009.
DOI : 10.1109/ICSE.2009.5070514
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.780

C. H. Papadimitriou, Computational Complexity, 1994.

M. Plath and M. Ryan, Feature integration using a feature construct, Science of Computer Programming, vol.41, issue.1, pp.53-84, 2001.
DOI : 10.1016/S0167-6423(00)00018-6

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

H. Post and C. Sinz, Configuration Lifting: Verification meets Software Configuration, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, pp.188-197, 2008.
DOI : 10.1109/ASE.2008.45
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.570.9106

P. Schobbens, P. Heymans, J. Trigaux, and Y. Bontemps, Feature Diagrams: A Survey and a Formal Semantics, 14th IEEE International Requirements Engineering Conference (RE'06), pp.139-148, 2006.
DOI : 10.1109/RE.2006.23

T. T. Tun, Q. Boucher, A. Classen, A. Hubaux, and P. Heymans, Relating requirements and feature configurations: A systematic approach, SPLC'09, pp.201-210, 2009.

T. Ziadi, L. Hélouët, and J. Jézéquel, Towards a UML Profile for Software Product Lines, Int. Workshop on Product Family Engineering (PPE), pp.129-139, 2003.
DOI : 10.1007/978-3-540-24667-1_10
URL : https://hal.archives-ouvertes.fr/hal-00794817