K. Pohl, G. Bockle, and F. J. Van-der-linden, Software Product Line Engineering: Foundations, Principles and Techniques, 2005.
DOI : 10.1007/3-540-28901-1

J. Bosch, Design and Use of Software Architectures Adopting and evolving a product-line approach, 2000.

J. Van-gurp, J. Bosch, and M. Svahnberg, On the notion of variability in software product lines, Proceedings Working IEEE/IFIP Conference on Software Architecture, 2001.
DOI : 10.1109/WICSA.2001.948406

R. N. Taylor, N. Medvidovic, and E. Dashofy, Software architecture, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, 2009.
DOI : 10.1145/1595696.1595754
URL : https://hal.archives-ouvertes.fr/hal-00444077

D. Diaz and P. Codognet, Design and Implementation of the GNU Prolog System, Journal of Functional and Logic Programming (JFLP), vol.2001, issue.6, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00693240

A. Egyed, Instant consistency checking for the UML, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.381-390, 2006.
DOI : 10.1145/1134285.1134339

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

D. Benavides, S. Trujillo, and P. Trinidad, On the modularization of feature models, First European Workshop on Model Transformation, 2005.

M. Mendonca, M. Branco, and D. S. Cowan, software product lines online tools, OOPSLA Companion, 2009.

P. Y. Schobbens, P. Heymans, J. C. Trigaux, and Y. Bontemps, Generic semantics of feature diagrams, Computer Networks, vol.51, issue.2, 2007.
DOI : 10.1016/j.comnet.2006.08.008

K. Czarnecki, S. Helsen, and U. W. Eisenecker, Formalizing cardinalitybased 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

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

D. Streitferdt, M. Riebisch, and I. Philippow, Details of formalized relations in feature models using OCL, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings., pp.45-54, 2003.
DOI : 10.1109/ECBS.2003.1194811

M. Griss, J. Favaro, and M. Alessandro, Integrating feature modeling with the RSEB, Proceedings. Fifth International Conference on Software Reuse (Cat. No.98TB100203), 1998.
DOI : 10.1109/ICSR.1998.685732

J. White, B. Doughtery, and D. Schmidt, Selecting highly optimal architectural feature sets with Filtered Cartesian Flattening, Journal of Systems and Software, vol.82, issue.8, pp.1268-1284, 2009.
DOI : 10.1016/j.jss.2009.02.011
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.145.7568

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, 2008.
DOI : 10.1016/j.jss.2007.10.030

M. Mendonça, A. Wasowski, and K. Czarnecki, SAT?based analysis of feature models is easy, Proceedings of the Sofware Product Line Conference, 2009.

T. Von-der-massen and H. Lichter, Deficiencies in feature models, Workshop on Software Variability Management for Product Derivation -Towards Tool Support, 2004.

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

E. M. Clarke, O. Grumberg, and D. E. Long, Model checking and abstraction, TOPLAS), v.16 n.5, pp.1512-1542, 1994.

S. Thaker, D. Batory, D. Kitchin, and W. Cook, Safe composition of product lines, Proceedings of the 6th international conference on Generative programming and component engineering , GPCE '07, 2007.
DOI : 10.1145/1289971.1289989

C. Schulte and P. J. Stuckey, Efficient constraint propagation engines, ACM Transactions on Programming Languages and Systems, vol.31, issue.1, 2008.
DOI : 10.1145/1452044.1452046
URL : http://arxiv.org/abs/cs/0611009

T. Stahl, M. Völter, and K. Czarnecki, Model-Driven Software Development: Technology, Engineering, Management, 2006.

P. Clements and L. Northrop, Software Product Lines : Practices and Patterns, 2001.

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, 2010.
DOI : 10.1145/1858996.1859009

L. Kim and P. Klaus, Towards automated consistency checks of product line requirements specifications, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering ASE'07, 2007.

L. Barachisio, V. Cardoso, and E. De-almeida, A Support Tool for Domain Analysis, 4th International Workshop on Variability Modelling of Software-intensive Systems, 2010.

R. Matthias, B. Kai, S. Detlef, and P. Ilka, Extending feature diagrams with UML multiplicities, Proceedings of the Sixth Conference on Integrated Design and Process Technology, 2002.

C. Salinesi, C. Rolland, and R. Mazo, VMWare: Tool support for automatic verification of structural and semantic correctness in product line models, Third International Workshop on Variability Modelling of Software-intensive Systems (VaMos), pp.173-176, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00663459

J. Cabot and E. Teniente, Incremental Evaluation of OCL Constraints, CAiSE'06, pp.81-95, 2006.
DOI : 10.1007/11767138_7

X. Blanc, A. Mougenot, I. Mounier, and T. Mens, Incremental Detection of Model Inconsistencies Based on Model Operations, CAiSE'09, pp.32-46, 2009.
DOI : 10.1007/11767138_7
URL : https://hal.archives-ouvertes.fr/hal-00669769

R. F. Paige, P. J. Brooke, and J. S. Ostro, Metamodel-based model conformance and multiview consistency checking, ACM Transactions on Software Engineering and Methodology, vol.16, issue.3, 2007.
DOI : 10.1145/1243987.1243989
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.178.4516

A. Olivé, Integrity Constraints Checking In Deductive Databases, Proceedings of the 17th International Conference on Very Large Data Bases, pp.513-523, 1991.

R. A. Kowalski, F. Sadri, and P. Soper, Integrity checking in deductive databases, Proc. International Conference on Very Large Data Bases (VLDB), pp.61-69, 1987.

K. Czarnecki and S. Helsen, Classification of model transformation approaches, Online Proceedings of the 2nd OOPSLA03 Workshop on Generative Techniques in the Context of MDA, 2003.

A. C. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh, Inconsistency handling in multiperspective specifications, IEEE Transactions on Software Engineering, vol.20, issue.8, pp.569-578, 1994.
DOI : 10.1109/32.310667

D. Harel and B. Rumpe, Meaningful modeling: what's the semantics of "semantics"?, Computer, vol.37, issue.10, pp.64-72, 2004.
DOI : 10.1109/MC.2004.172

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

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 Softwareintensive Systems, pp.29-35, 2010.

J. Jaffar and J. Lassez, Constraint logic programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, pp.111-119, 1987.
DOI : 10.1145/41625.41635

A. Lora-michiels, C. Salinesi, and R. Mazo, A Method based on Association Rules to Construct Product Line Model. 4th International Workshop on Variability Modelling of Software-intensive Systems, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00707527

O. Djebbi, C. Salinesi, and G. Fanmuy, Industry Survey of Product Lines Management Tools: Requirements, Qualities and Open Issues, 15th IEEE International Requirements Engineering Conference (RE 2007), 2007.
DOI : 10.1109/RE.2007.29
URL : https://hal.archives-ouvertes.fr/hal-00706190

O. Djebbi and C. Salinesi, Criteria for Comparing Requirements Variability Modeling Notations for Product Lines, Fourth International Workshop on Comparative Evaluation in Requirements Engineering (CERE'06, RE'06 Workshop), 2006.
DOI : 10.1109/CERE.2006.2
URL : https://hal.archives-ouvertes.fr/hal-00706358

C. Salinesi, A. Etien, and I. Zoukar, A Systematic Approach to Express IS Evolution Requirements Using Gap Modelling and Similarity Modelling Techniques, International Conference on Advanced information Systems Engineering (CAISE), 2004.
DOI : 10.1007/978-3-540-25975-6_25
URL : https://hal.archives-ouvertes.fr/hal-00663045

C. Salinesi, R. Mazo, O. Djebbi, D. Diaz, and A. Lora-michiels, Constraints: The core of product line engineering, 2011 FIFTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION SCIENCE, 2011.
DOI : 10.1109/RCIS.2011.6006825
URL : https://hal.archives-ouvertes.fr/hal-00707544

F. Budinsky, D. Steinberg, E. Merks, R. Ellersick, and T. J. Grose, Eclipse Modeling Framework, 2003.

O. Djebbi and C. Salinesi, RED-PL, a Method for Deriving Product Requirements from a Product Line Requirements Model, p.7, 2007.
DOI : 10.1007/978-3-540-72988-4_20
URL : https://hal.archives-ouvertes.fr/halshs-00177760