K. Berg, J. Bishop, and D. Muthig, Tracing software product line variability: from problem to solution space, SAICSIT '05 South African Institute for Computer Scientists and Information Technologists, pp.182-191, 2005.

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 relation for software product lines: Foundations for scalable model checking (to appear), 34th International Conference on Software Engineering, ICSE 2012, 2012.

M. Cordy, P. Schobbens, P. Heymans, 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, pp.66-75, 2012.
DOI : 10.1145/2362536.2362549
URL : https://hal.archives-ouvertes.fr/hal-00718157

K. Czarnecki and U. Eisenecker, Generative Programming, 2000.
DOI : 10.1007/3-540-36208-8_2

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

R. Flores, C. Krueger, and P. Clements, Mega-scale product line engineering at General Motors, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, pp.259-268
DOI : 10.1145/2362536.2362571

H. Gomaa and E. Olimpiew, Managing Variability in Reusable Requirement Models for Software Product Lines, High Confidence Software Reuse in Large Systems, pp.182-185, 2008.
DOI : 10.1007/978-3-540-68073-4_17

A. Goultiaeva and F. Bacchus, Exploiting qbf duality on a circuit representation, 2010.

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

A. Gruler, M. Leucker, and K. D. Scheidemann, Modeling and Model Checking Software Product Lines, Lecture Notes in Computer Science, vol.5051, pp.113-131, 2008.
DOI : 10.1007/978-3-540-68863-1_8

J. Gerard and . Holzmann, The SPIN Model Checker: Primer and Reference Manual, 2003.

S. Krishnamurthi and K. Fisler, Foundations of incremental aspect model-checking, ACM Transactions on Software Engineering and Methodology, vol.16, issue.2, p.39, 2007.
DOI : 10.1145/1217295.1217296

U. Kim-guldstrand-larsen, A. Nyman, and . Wasowski, Modal I/O Automata for Interface and Product Line Theories, Lecture Notes in Computer Science, vol.4421, pp.64-79, 2007.
DOI : 10.1007/978-3-540-71316-6_6

K. Lauenroth, A. Metzger, and K. Pohl, Quality Assurance in the Presence of Variability, SSE, Institut fur Informatik und Wirtschaftsinformatik, 2011.
DOI : 10.1007/978-3-642-12544-7_18

J. Liu, S. Basu, and R. Lutz, Compositional model checking of software product lines using variation point obligations, Automated Software Engineering, vol.26, issue.8, pp.39-76
DOI : 10.1007/s10515-010-0075-7

A. Metzger and K. Pohl, Variability Management in Software Product Line Engineering, 29th International Conference on Software Engineering (ICSE'07 Companion), pp.186-187, 2007.
DOI : 10.1109/ICSECOMPANION.2007.83

A. Metzger, K. Pohl, P. Heymans, P. Schobbens, and G. Saval, Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis, 15th IEEE International Requirements Engineering Conference (RE 2007), pp.243-253, 2007.
DOI : 10.1109/RE.2007.61

J. Raclet, B. Caillaud, E. Badouel, A. Legay, A. Benveniste et al., Modal interfaces, Proceedings of the seventh ACM international conference on Embedded software, EMSOFT '09, 2009.
DOI : 10.1145/1629335.1629348
URL : https://hal.archives-ouvertes.fr/inria-00555742

M. Riebisch and R. Brcina, Optimizing Design for Variability Using Traceability Links, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008), pp.235-244, 2008.
DOI : 10.1109/ECBS.2008.37

M. Y. Vardi and P. Wolper, An automata-theoretic approach to automatic program verification, Cambridge Proceedings of the First Annual IEEE Symposium on Logic in Computer Science, pp.322-331, 1986.