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, pp.615-636, 2010.
DOI : 10.1016/j.is.2010.01.001

D. Benavides, A. Ruiz-cortes, and P. Trinidad, Automated reasoning on feature models, Proc. of the 17th International Conference on Advanced Information Systems Engineering, pp.491-503, 2005.

C. Bessiere, Constraint Propagation, Handbook of Constraint Programming, pp.29-83, 2006.
DOI : 10.1016/S1574-6526(06)80007-6
URL : https://hal.archives-ouvertes.fr/lirmm-00117128

G. H. Campbell, J. , S. R. Faulk, and D. M. Weiss, Introduction To Synthesis, INTRO_SYNTHESIS_PROCESS-90019-N, Software Productivity Consortium, 1990.

D. Diaz and C. Philippe, Design and implementation of the GNU Prolog System, Journal of Functional and Logic Programming, issue.6, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00693240

D. Dhungana, P. Heymans, and R. Rabiser, A Formal Semantics for Decision-oriented Variability Modeling with DOPLER, Proc. of the 4th International Workshop on Variability Modelling of Software-intensive Systems, pp.29-35, 2010.

D. Dhungana, R. Rabiser, P. Grünbacher, and T. Neumayer, Integrated tool support for software product line engineering, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, pp.533-534, 2007.
DOI : 10.1145/1321631.1321730

D. Dhungana, P. Grünbacher, and R. Rabiser, The DOPLER meta-tool for decision-oriented variability modeling: a multiple case study, Automated Software Engineering, vol.80, issue.8, 2010.
DOI : 10.1007/s10515-010-0076-6

H. Gomaa, Designing Software Product Lines with UML, 29th Annual IEEE/NASA Software Engineering Workshop, Tutorial Notes (SEW'05), 2005.
DOI : 10.1109/SEW.2005.5

P. Grünbacher, R. Rabiser, D. Dhungana, and M. Lehofer, Model-Based Customization and Deployment of Eclipse-Based Tools: Industrial Experiences, 2009 IEEE/ACM International Conference on Automated Software Engineering, pp.247-256, 2009.
DOI : 10.1109/ASE.2009.11

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

F. Laburthe, Choco: implementing a cp kernel, CP00 Post Conference Workshop on Techniques for Implementing Constraint programming Systems (TRICS), 2000.

R. Mazo, C. Salinesi, and D. Diaz, VariaMos Eclipse plug-in. https://sites.google.com/site

M. Mendonca and D. Cowan, Decision-making coordination and efficient reasoning techniques for feature-based configuration, Science of Computer Programming, vol.75, issue.5, pp.311-332, 2009.
DOI : 10.1016/j.scico.2009.12.004

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, pp.243-251, 2010.
DOI : 10.1109/RE.2010.36
URL : https://hal.archives-ouvertes.fr/hal-00662891

K. Schmid, I. Schulte, and P. J. Stuckey, A Customizable Approach to Full-Life Cycle Variability ManagementEfficient constraint propagation engines, Journal of the Science of Computer Programming, Special Issue on Variability Management ACM Trans. Program. Lang. Syst, vol.53, issue.311, pp.259-284, 2004.

P. Trinidad, D. Benavides, A. Durán, 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

P. Van-den-broek and I. Galvão, Analysis of Feature Models using Generalised Feature Trees, Proc. of the Third International Workshop on Variability Modelling of Software-intensive Systems, pp.29-36, 2009.

P. Van-hentenryck, Constraint Satisfaction in Logic Programming, 1989.

M. Vierhauser, P. Grünbacher, A. Egyed, R. Rabiser, and W. Heider, Flexible and scalable consistency checking on product line variability models, Proceedings of the IEEE/ACM international conference on Automated software engineering, ASE '10, pp.63-72, 2010.
DOI : 10.1145/1858996.1859009

T. Der-maßen and H. Lichter, Deficiencies in Feature Models, Proc. of the Workshop on Software Variability Management for Product Derivation -Towards Tool Support, held in conjunction with SPLC 2004 -3rd Software Product Line Conference, p.14, 2004.

H. Yan, W. Zhang, H. Zhao, and H. Mei, An Optimization Strategy to Feature Models??? Verification by Eliminating Verification-Irrelevant Features and Constraints, Proc. of the 11th International Conference on Software Reuse, pp.65-75, 2009.
DOI : 10.1007/s00766-006-0033-x

W. Zhang, H. Zhao, and H. Mei, A Propositional Logic-Based Method for Verification of Feature Models, Proc. of the 6th International Conference on Formal Engineering Methods ( ICFEM), pp.115-130, 2004.
DOI : 10.1007/978-3-540-30482-1_16