K. Pohl, G. Böckle, and F. Van-der-linden, Software product line engineering -foundations, principles, and techniques, 2005.

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

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

A. Classen, Q. Boucher, and P. Heymans, A text-based approach to feature modelling: Syntax and semantics of TVL, Science of Computer Programming, vol.76, issue.12, pp.1130-1143, 2011.
DOI : 10.1016/j.scico.2010.10.005
URL : https://hal.archives-ouvertes.fr/hal-00718291

S. Apel, H. Speidel, P. Wendler, A. Von-rhein, and D. Beyer, Featureinteraction detection using feature-aware verification, ASE'11, pp.372-375, 2011.
DOI : 10.1109/ase.2011.6100075
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.225.1115

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

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, 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

M. Cordy, A. Classen, G. Perrouin, P. Heymans, P. Schobbens et al., Simulation-based abstractions for software product-line model checking, 2012 34th International Conference on Software Engineering (ICSE), pp.672-682, 2012.
DOI : 10.1109/ICSE.2012.6227150
URL : https://hal.archives-ouvertes.fr/hal-01087659

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

A. Classen, M. Cordy, P. Heymans, A. Legay, and P. Schobbens, Model checking software product lines with SNIP, International Journal on Software Tools for Technology Transfer, vol.41, issue.1, pp.589-612, 2012.
DOI : 10.1007/s10009-012-0234-1
URL : https://hal.archives-ouvertes.fr/hal-00717956

G. J. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, 2004.
DOI : 10.1109/32.588521

K. Czarnecki, S. Helsen, and U. W. Eisenecker, Formalizing cardinality-based feature models and their specialization, Software Process: Improvement and Practice, pp.7-29, 2005.
DOI : 10.1002/spip.213

R. Michel, A. Classen, A. Hubaux, and Q. Boucher, A formal semantics for feature cardinalities in feature diagrams, Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '11, pp.82-89, 2011.
DOI : 10.1145/1944892.1944902

A. Hubaux, Q. Boucher, H. Hartmann, R. Michel, and P. Heymans, Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies, SLE'10, pp.337-356, 2011.
DOI : 10.1007/978-3-642-19440-5_23

Q. Boucher, A. Classen, P. Heymans, A. Bourdoux, and L. Demonceau, Tag and prune, Proceedings of the IEEE/ACM international conference on Automated software engineering, ASE '10, pp.333-336, 2010.
DOI : 10.1145/1858996.1859064

C. Kästner, S. Apel, and M. Kuhlemann, Granularity in software product lines, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.311-320, 2008.
DOI : 10.1145/1368088.1368131

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

D. Moura and N. Bjørner, Z3: An Efficient SMT Solver, TACAS'08, pp.337-340, 2008.
DOI : 10.1007/978-3-540-78800-3_24

J. Kramer, J. Magee, M. Sloman, and A. Lister, CONIC: an integrated approach to distributed computer control systems, Computers and Digital Techniques, pp.1-10, 1983.
DOI : 10.1049/ip-e.1983.0001

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

K. Czarnecki and C. H. Kim, Cardinality-based feature modeling and constraints: a progress report, International Workshop on Software Factories at OOPSLA'05, 2005.

R. Mazo, C. Salinesi, D. Diaz, and A. Lora-michiels, Transforming attribute and clone-enabled feature models into constraint programs over finite domains, ENASE'11, pp.188-199, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00707546

W. Zhang, H. Yan, H. Zhao, and Z. Jin, A BDD-Based Approach to Verifying Clone-Enabled Feature Models??? Constraints and Customization, ICSR'08, pp.186-199, 2008.
DOI : 10.1007/978-3-540-68073-4_18

S. Ghilardi and S. Ranise, MCMT: A Model Checker Modulo Theories, IJCAR'10, pp.22-29, 2010.
DOI : 10.1007/978-3-642-14203-1_3

M. Acher, P. Collet, P. Lahire, and R. B. France, Composing Feature Models, SLE'09, pp.62-81, 2009.
DOI : 10.1007/978-3-642-12107-4_6
URL : https://hal.archives-ouvertes.fr/hal-00415767

M. Cordy, P. Heymans, P. Schobbens, and A. Legay, Behavioural modelling and verification of real-time software product lines, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, 2012.
DOI : 10.1145/2362536.2362549
URL : https://hal.archives-ouvertes.fr/hal-00718157