M. Mannion, Using First-Order Logic for Product Line Model Validation, Proceedings of the Second SPLC, pp.176-187, 2002.
DOI : 10.1007/3-540-45652-X_11

W. Zhang, H. Zhao, and M. H. , A Propositional Logic-Based Method for Verification of Feature Models, pp.115-130, 2004.
DOI : 10.1007/978-3-540-30482-1_16

D. Batory, Feature Models, Grammars, and Propositional Formulas, Software Product Lines Conference, p.7, 2005.
DOI : 10.1007/11554844_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.9092

D. Benavides, A. Ruiz-cortés, and T. P. , Using constraint programming to reason on feature models, The Seventeenth International Conference on Software Engineering and Knowledge Engineering, SEKE 2005, pp.677-682, 2005.

J. White, D. Schmidt, D. Benavides, P. Trinidad, and A. Ruiz-cortes, Automated Diagnosis of Product-Line Configuration Errors in Feature Models, 2008 12th International Software Product Line Conference, 2008.
DOI : 10.1109/SPLC.2008.16

P. Trinidad, D. Benavides, A. Duran, A. Ruiz-cortés, and M. Toro, Automated error analysis for the agilization of feature modeling, Journal of Systems and Software, vol.81, issue.6, pp.883-896, 2008.
DOI : 10.1016/j.jss.2007.10.030

J. White, B. Doughtery, D. Schmidt, and D. Benavides, Automated reasoning for multi-step software product line configuration problems, Proceedings of the SPLC, pp.11-20, 2009.

C. Salinesi, R. Mazo, and D. Diaz, Criteria for the verification of feature models, 28th INFORSID Conference, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00707534

J. Jaffar and M. J. Maher, Constraint logic programming: a survey, The Journal of Logic Programming, vol.19, issue.20, p.20, 1994.
DOI : 10.1016/0743-1066(94)90033-7

L. Berre and D. , SAT4J solver, www.sat4j.org. Last consulted 01, 2010.

S. B. Akers, Binary Decision Diagrams, IEEE Transactions on Computers, vol.27, issue.6, pp.27509-516, 1978.
DOI : 10.1109/TC.1978.1675141

D. Diaz and P. Codognet, Design and Implementation of the GNU Prolog System Available to download from, Journal of Functional and Logic Programming (JFLP), vol.2001, issue.6, 2001.

A. Colmerauer, An Introduction to Prolog III, Communications of the ACM, vol.33, issue.7, 1990.

K. Czarnecki, S. Helsen, and E. U. , Formalizing cardinality-based feature models and their specialization. Software Process: Improvement and Practice, pp.7-29, 2005.
DOI : 10.1002/spip.213
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.4104

D. Benavides, On the Automated Analysis of Software Product Lines Using Feature Models. A Framework for Developing Automated Tool Support, 2007.

O. Djebbi and C. Salinesi, RED-PL, a Method for Deriving Product Requirements from a Product Line Requirements Model, International Conference on Advances in Information Systems Engineering, CAISE " 07, 2007.
DOI : 10.1007/978-3-540-72988-4_20
URL : https://hal.archives-ouvertes.fr/halshs-00177760

K. Czarnecki, S. Helsen, and U. Eisenecker, Staged configuration through specialization and multi-level configuration of feature models. Software Process Improvement and Practice, 2005.

R. Mazo, P. Grünbacher, W. Heider, R. Rabiser, C. Salinesi et al., Using constraint programming to verify DOPLER variability models, Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '11, 2011.
DOI : 10.1145/1944892.1944904
URL : https://hal.archives-ouvertes.fr/hal-00707543

C. Salinesi, C. Rolland, and R. Mazo, VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models, p.Spain, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00663459

O. Djebbi, C. Salinesi, and D. Diaz, Deriving Product Line Requirements: the RED-PL Guidance Approach. Asian Pacific Software Eng, Conference (APSEC) Japan, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00667789

D. Benavides, S. Segura, and A. Ruiz-cortés, Automated analysis of feature models 20 years later: A literature review, Information Systems, vol.35, issue.6, 2010.
DOI : 10.1016/j.is.2010.01.001

R. Mazo, VariaMos tool, available to download at https://sites.google.com/site

K. Kang, S. Cohen, J. Hess, W. Novak, and S. Peterson, Feature-Oriented Domain Analysis (FODA) Feasibility Study, 1990.

S. Karata?, A. O?uztüzün, H. Do?ru, and A. , Mapping Extended Feature Models to Constraint Logic Programming over Finite Domains, SPLC Korea, 2010.
DOI : 10.1007/978-3-642-15579-6_20

C. Salinesi, R. Mazo, D. Diaz, and O. Djebbi, Using Integer Constraint Solving in Reuse Based Requirements Engineering, 2010 18th IEEE International Requirements Engineering Conference, 2010.
DOI : 10.1109/RE.2010.36
URL : https://hal.archives-ouvertes.fr/hal-00662891

B. Korherr and B. List, A UML 2 Profile for Variability Models and their Dependency to Business Processes, 18th International Conference on Database and Expert Systems Applications (DEXA 2007), 2007.
DOI : 10.1109/DEXA.2007.96

T. Ziadi, Manipulation de Lignes de Produits en UML, Université de Rennes, vol.1, 2004.
DOI : 10.3166/objet.9.1-2.227-240
URL : https://hal.inria.fr/hal-00794837/file/Ziadi03a.pdf

T. Van-der-maßen and H. Lichter, Modeling Variability by UML Use Case Diagrams, International Workshop on Requirements Engineering for Product Lines, pp.19-25, 2002.

A. Zaid, L. Houben, G. De-troyer, O. Kleinermann, and F. , An OWL- Based Approach for Integration in Collaborative Feature Modelling, Semantic Web Enabled Software Engineering, 2008.