C. Salinesi and R. Mazo, Defects in Product Line Models and how to Identify themSoftware Product Lines -The Automated Analysis, 2012.

R. Mazo, C. Salinesi, O. Djebbi, D. Diaz, and A. Lora-michiels, Constraints, International Journal of Information System Modeling and Design, vol.3, issue.2, 2011.
DOI : 10.4018/jismd.2012040102
URL : https://hal.archives-ouvertes.fr/hal-00707544

R. Mazo, C. Salinesi, and D. Diaz, Abstract Constraints: A General Framework for Solver-Independent Reasoning on Product-Line Models, Accepted on INSIGHT -Journal of International Council on Systems Engineering (INCOSE), 2011.
DOI : 10.1002/inst.201114422
URL : https://hal.archives-ouvertes.fr/hal-00707418

R. Mazo, C. Salinesi, D. Diaz, and A. Lora-michiels, Transforming Attribute and Clone-Enabled Feature Models Into Constraint Programs Over Finite Domains, 6th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), pp.8-11, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00707546

R. Mazo, R. Lopez-herrejon, C. Salinesi, D. Diaz, and A. Egyed, Conformance Checking with Constraint Logic Programming: The Case of Feature Models, 2011 IEEE 35th Annual Computer Software and Applications Conference, pp.18-22, 2011.
DOI : 10.1109/COMPSAC.2011.66
URL : https://hal.archives-ouvertes.fr/hal-00707545

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

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

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

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 Softwareintensive SystemsCelebrating 20 Years of Feature Models, Linz-Austria, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00707527

A. Lora-michiels, C. Salinesi, and R. Mazo, The Baxter Return of Experience on the Use of Association Rules to Construct its Product Line Model, Lignes de produits logiciels et usines logicielles, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00707526

C. Salinesi, C. Rolland, and R. Mazo, VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models, International Workshop on Variability Modelling of Software-intensive Systems (VaMoS), pp.173-176, 2009.

R. Mazo, Aperçu d'une Méthode Automatisée basée sur des Contraintes Génériques pour la Vérification de Modèles Multi-vues de Lignes de Produits/ Overview of an Automated Method based on Generic Constraints for Verifying Multi-View Product Line Models, Poster in Forum Academie-industrie AFIS, Bordeux, 2010.

C. Salinesi, D. Diaz, R. Mazo, and O. Djebbi, Spécification d'Exigences dans le Contexte de Lignes de Produits Journée Action IDM -INFORSID " Exigence, Traçabilité et Coconception dans les processus de développement, 2009.

C. Salinesi, D. Diaz, O. Djebbi, and R. Mazo, Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models, 2009 17th IEEE International Requirements Engineering Conference, 2009.
DOI : 10.1109/RE.2009.52
URL : https://hal.archives-ouvertes.fr/hal-00663346

C. Salinesi, C. Rolland, D. Diaz, and R. Mazo, Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria, 2009 17th IEEE International Requirements Engineering Conference, 2009.
DOI : 10.1109/RE.2009.57
URL : https://hal.archives-ouvertes.fr/hal-00663343

R. Mazo, Processus pour la Vérification et Validation de Modèles de Lignes de Produits, 27^th Francophone Conference on Information Systems and Data Bases INFORSID, 2009.

M. Acher, P. Collet, P. Lahire, and R. France, Comparing Approaches to Implement Feature Model Composition, 6th European Conference on Modelling Foundations and Applications (ECMFA), pp.3-19, 2010.
DOI : 10.1007/978-3-642-13595-8_3
URL : https://hal.archives-ouvertes.fr/hal-00484232

V. Alves, R. Gheyi, T. Massoni, U. Kulesza, P. Borba et al., Refactoring product lines, Proceedings of the 5th international conference on Generative programming and component engineering , GPCE '06, pp.201-210, 2006.
DOI : 10.1145/1173706.1173737

S. Apel, C. Kastner, and C. Lengauer, FEATUREHOUSE: Language-independent, automated software composition, 2009 IEEE 31st International Conference on Software Engineering, pp.221-231, 2009.
DOI : 10.1109/ICSE.2009.5070523

S. Apel, C. Lengauer, D. Batory, B. Moller, and C. Kastner, An algebra for feature-oriented software development, 2007.

K. R. Apt and M. G. Wallace, Constraint Logic Programming Using ECLiPSe, 2006.
DOI : 10.1017/CBO9780511607400
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.460.2981

G. Barthe, L. Beringer, P. Cregut, B. Gregoire, M. Hofmann et al., Mobius: Mobility, ubiquity, security: Objectives and progress report, Trustworthy Global Computing'06, 2007.
DOI : 10.1007/978-3-540-75336-0_2

L. Bass, P. Clements, P. Donohoe, J. Mcgregor, and L. Northrop, Fourth Product Line Practice Workshop Report

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

D. Batory, D. Benavides, and A. Ruiz-cortes, Automated analysis of feature models, Communications of the ACM, vol.49, issue.12, 2006.
DOI : 10.1145/1183236.1183264

B. Beckert, R. Hahnle, and P. H. Schmitt, Verification of Object-Oriented Software: The KeY Approach, Lecture Notes in Computer Science, vol.4334, 2007.
DOI : 10.1007/978-3-540-69061-0

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

D. Benavides, P. Trinidad, and A. Ruiz-cortés, Automated Reasoning on Feature Models, CAiSE 2005, pp.491-503, 2005.
DOI : 10.1007/11431855_34
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.60.6249

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.

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

D. Benavides, S. Segura, P. Trinidad, and A. Ruiz-cortés, Using Java CSP Solvers in the Automated Analyses of Feature Models, Post-Proceedings of The Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE), 2006.
DOI : 10.1007/11877028_16

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

B. Ch, Constraint propagation, Handbook of Constraint Programming, 2006.

D. Beuche, Composition and Construction of Embedded Software Families, 2003.

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

B. Boehm, Software Engineering Economics, 1981.

B. Boehm and H. In, Identifying Quality Requirements Conflicts, IEEE Software, pp.25-35, 1996.
DOI : 10.1109/52.506460

J. E. Borrett and E. P. Tsang, A Context for Constraint Satisfaction Problem Formulation Selection, Constraints, vol.6, issue.4, pp.299-327, 2001.
DOI : 10.1023/A:1011432307724

J. Bosch, Design and Use of Software Architectures: Adopting and Evolving a Product-Line Approach, 2000.

Q. Boucher, A. Classen, P. Faber, and P. Heymans, Introducing TVL, a text-based feature modelling language, Proceedings of the Fourth International Workshop on Variability Modelling of Software-intensive Systems (VaMoS'10), 2010.

A. Bradley and Z. Manna, The Calculus of Computation -Decision Procedures with Applications to Verification, 2007.

P. Broek and I. Galvão, Analysis of Feature Models using Generalised Feature Trees, Third Int, 2009.

D. Bruns, V. Klebanov, and I. Schaefer, Verification of software product lines with delta-oriented slicing. On the 2010 Int. Conf. on Formal verification of object-oriented software, 2011.

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

A. Classen and Q. Boucher, Heymans. A text-based approach to feature modelling: Syntax and semantics of TVL

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

A. Colmerauer, Prolog II reference manual and theoretical model, Groupe Intelligence Artificielle, 1982.

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.

K. Czarnecki, S. Helsen, and U. Eisenecker, Staged Configuration Using Feature Models, Software Product Lines: Third International Conference, 2004.
DOI : 10.1007/978-3-540-28630-1_17
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.7465

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.

K. Czarnecki and K. Pietroszek, Verifying Feature-Based Model Templates Against Well-Formedness OCL Constraints, 5th Int, Conference on Generative Programming and Component Engineering, 2006.
DOI : 10.1145/1173706.1173738

A. Dauron and J. Astesana, Spécification et configuration de la ligne de produits véhicule de Renault Journée Lignes de Produits, 2010.

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

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, and P. Grünbacher, Coordinating Multi-Team Variability Modeling in Product Line Engineering, 2nd International Workshop on Supporting Knowledge Collaboration in Software Development (KCSD2006), 2006.

P. Dhungana, R. Grünbacher, and . 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

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

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

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. Norway, 2007.
DOI : 10.1007/978-3-540-72988-4_20
URL : https://hal.archives-ouvertes.fr/halshs-00177760

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

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

M. Elaasar and L. Brian, An overview of UML consistency management, 2004.

A. Elfaki, S. Phon-amnuaisuk, and C. Kuan-ho, Using First Order Logic to Validate Feature Model. Third Int, 2009.

A. Felfernig, G. Friedrich, D. Jannach, and M. Zanker, Towards Distributed Configuration, KI '01: Proceedings of the Joint German/Austrian Conference on AI, 2001.
DOI : 10.1007/3-540-45422-5_15
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.23.2193

S. Khan, F. Castor-filho, and F. Dantas, Evolving software product lines with aspects: an empirical study on design stability, 2008.

A. Finkelstein, Editorial. The Viewpoints FAQ, Software Engineering Journal, vol.11, issue.1, pp.2-4, 1996.
DOI : 10.1049/sej.1996.0001

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

A. Finkelstein, J. Kramer, B. Nuseibeh, L. Finkelstein, and M. Goedicke, VIEWPOINTS: A FRAMEWORK FOR INTEGRATING MULTIPLE PERSPECTIVES IN SYSTEM DEVELOPMENT, International Journal of Software Engineering and Knowledge Engineering, vol.02, issue.01, 1992.
DOI : 10.1142/S0218194092000038

F. Fleurey, Kompose: a generic model composition tool Available from, 2007.

F. Fleurey, B. Baudry, R. B. France, and S. Ghosh, A Generic Approach for Automatic Model Composition, MoDELS Workshops, pp.7-15
DOI : 10.1007/978-3-540-69073-3_2
URL : https://hal.archives-ouvertes.fr/inria-00477568

M. J. Gordon and T. F. Melham, Introduction to HOL: A Theorem Proving Environment for Higher Order Logic, 1993.

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

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

D. Harel and B. Rumpe, Modeling languages: syntax, semantics and all that stuff, part I: the basic stuff, 2000.

A. Hemakumar, Finding Contradictions in Feature Models, Workshop on the Analysis of Software Product Lines (ASPL), 2008.

A. R. Hevner, S. T. March, J. Park, and S. Ram, Design Science Research in Information Systems, MIS Quarterly, vol.28, issue.1, pp.75-105, 2004.
DOI : 10.1007/978-1-4419-5653-8_2

P. Heymans, P. Schobbens, J. Trigaux, Y. Bontemps, R. Matulevicius et al., Evaluating formal properties of feature diagram languages, IET Software, vol.2, issue.3, pp.281-302, 2008.
DOI : 10.1049/iet-sen:20070055

D. Howe, The Free On-line Dictionary of Computing, 2010.

A. Hubaux, A. Classen, and P. Heymans, Formal modelling of feature configuration workflow, 2009.

A. Hubaux, P. Heymans, P. Y. Schobbens, and D. Deridder, Towards Multi-view Feature-Based Configuration, REFSQ 2010, pp.106-112, 2010.
DOI : 10.1007/978-3-642-14192-8_12

A. Igarashi, B. Pierce, and P. Wadler, Featherweight Java: a minimal core calculus for Java and GJ, ACM Transactions on Programming Languages and Systems, vol.23, issue.3, 2001.
DOI : 10.1145/503502.503505

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

M. Janota and J. Kiniry, Reasoning about Feature Models in Higher-Order Logic, 11th International Software Product Line Conference (SPLC 2007), 2007.
DOI : 10.1109/SPLINE.2007.36

P. Jayaraman, J. Whittle, A. Elkhodary, and H. Gomaa, Model Composition in Product Lines and Feature Interaction Detection Using Critical Pair Analysis, 2007.
DOI : 10.1007/978-3-540-75209-7_11

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

K. Kang, J. Lee, and P. Donohoe, Feature-oriented product line engineering, IEEE Software, vol.19, issue.4, 2002.
DOI : 10.1109/MS.2002.1020288

K. Kang, K. S. Lee, J. Kim, K. Shin, E. Huh et al., FORM: A Feature-Oriented Reuse Method with Domain- Specific Reference Architectures, Annals of Software Engineering, vol.5, pp.143-168, 1998.
DOI : 10.1023/A:1018980625587

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

K. Ch, S. Apel, S. S. Rahman, M. Rosenmuller, D. Batory et al., On the Impact of the Optional Feature Problem: Analysis and Case Studies, 2009.

C. Kästner and S. Apel, Type-Checking Software Product Lines - A Formal Approach, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, pp.258-267, 2008.
DOI : 10.1109/ASE.2008.36

B. Kitchenham, Procedures for performing systematic reviews, 2004.

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

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. Kuchcinski, Constraints-driven scheduling and resource assignment, ACM Transactions on Design Automation of Electronic Systems, vol.8, issue.3, pp.355-383, 2003.
DOI : 10.1145/785411.785416

F. Laburthe and N. Jussien, Choco constraint programming system, 2005.

K. Lauenroth, A. Metzger, and K. Pohl, Quality Assurance in the Presence of Variability, Intentional Perspectives on Information Systems Engineering, 2010.
DOI : 10.1007/978-3-642-12544-7_18

K. Lauenroth and K. Pohl, 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.
DOI : 10.1145/1321631.1321687

K. Lauenroth, K. Pohl, and S. Toehning, Model Checking of Domain Artifacts in Product Line Engineering, 2009 IEEE/ACM International Conference on Automated Software Engineering, pp.269-280, 2009.
DOI : 10.1109/ASE.2009.16

G. T. Leavens, A. L. Baker, and C. Ruby, Preliminary design of JML, ACM SIGSOFT Software Engineering Notes, vol.31, issue.3, pp.311-349, 2006.
DOI : 10.1145/1127878.1127884

J. Leite and P. A. Freeman, Requirements validation through viewpoint resolution, IEEE Transactions on Software Engineering, vol.17, issue.12, pp.1253-1269, 1991.
DOI : 10.1109/32.106986

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

M. Mannion and H. Kaindl, Using parameters and discriminants for product line requirements, Systems Engineering, vol.28, issue.1, 2007.
DOI : 10.1002/sys.20086

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

A. T. March and G. F. Smith, Design and natural science research on information technology, Decision Support Systems, vol.15, issue.4, pp.251-266, 1995.
DOI : 10.1016/0167-9236(94)00041-2

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.

R. Mazo and C. Salinesi, Variability Models (VariaMos) eclipse Plug-in Available to download at https://sites.google.com/site, 2011.

R. Mazo, R. Lopez-herrejon, C. Salinesi, D. Diaz, and A. Egyed, A Constraint Programming Approach for Checking Conformance in Feature Models, 35th International Computer Software and Applications Conference (COMPSAC), p.2011

R. Mazo, C. Salinesi, and D. Diaz, Abstract Constraints: A General Framework for Solver-Independent Reasoning on Product-Line Models, Accepted on INSIGHT -Journal of International Council on Systems Engineering (INCOSE), to be released the 15, 2011.
DOI : 10.1002/inst.201114422
URL : https://hal.archives-ouvertes.fr/hal-00707418

R. Mazo, C. Salinesi, D. Diaz, and A. Lora-michiels, Transforming Attribute and Clone-Enabled Feature Models Into Constraint Programs Over Finite Domains, 6th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), p.2011
URL : https://hal.archives-ouvertes.fr/hal-00707546

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

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

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), p.7, 2007.
DOI : 10.1109/RE.2007.61

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, 2011.
DOI : 10.1145/1944892.1944902

B. Nuseibeh, J. Kramer, and A. Finkelstein, A framework for expressing the relationships between multiple views in requirements specification, IEEE Transactions on Software Engineering, vol.20, issue.10, pp.760-773, 1994.
DOI : 10.1109/32.328995

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

O. Uml, Object Constraint Language (OCL) Final Adopted specification Available from: http://www.omg.org/cgibin, pp.2003-2013, 2003.

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

D. L. Parnas, On the Criteria to be Used in Decomposing Systems into Modules, Communications of the ACM, 1972.

K. Peffers, T. Tuunanen, M. A. Chatterjee, and S. Rothenberger, A Design Science Research Methodology for Information Systems Research, Journal of Management Information Systems, vol.24, issue.3, pp.45-77, 2007.
DOI : 10.2753/MIS0742-1222240302

K. Pohl, G. Böckle, and F. Van-der-linden, Software Product Line Engineering ? Foundations, Principles, and Techniques, 2005.

K. R. Popper, All Life is Problem Solving. Collection of essays republished by Piper Berlang in " Alles Leben ist Problemlösen " (Munich, 1994); translated as All Life is Problem Solving by Patrick Camiller, 1994.

M. Riebisch, K. Bollert, D. Streitferdt, and I. Philippow, Extending feature diagrams with UML multiplicities, Proceedings of the Sixth Conference on Integrated Design and Process Technology (IDPT2002), 2002.

W. Robinson, Interactive Decision Support for Requirements Negotiation, Concurrent Engineering: Research & Applications, pp.237-252, 1994.
DOI : 10.1177/1063293X9400200309

W. Robinson and S. Fickas, Supporting Multiple Perspective Requirements Engineering, Proceedings of the 1st International Conference on Requirements Engineering (ICRE 94), pp.206-215, 1994.
DOI : 10.1109/icre.1994.292383

C. Rolland and S. Nurcan, Business Process Lines to Deal with the Variability, 2010 43rd Hawaii International Conference on System Sciences, 2010.
DOI : 10.1109/HICSS.2010.88
URL : https://hal.archives-ouvertes.fr/hal-00662895

M. Rosenmüller, N. Siegmund, T. Thüm, and G. Saake, Multi-dimensional variability modeling, Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '11, 2011.
DOI : 10.1145/1944892.1944894

F. Roos-frantz and S. Segura, Automated Analysis of Orthogonal Variability Models. A First Step, 1st. SPLC Workshop on Analysis of Software Product Lines, 2008.

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 and R. Mazo, Defects in Product Line Models and how to Identify themSoftware Product Lines -The Automated Analysis, 2012.

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

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 Softwareintensive Systems (VaMos), pp.173-176, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00663459

P. Sawyer, Software Requirements, Software Engineering, 2005.

I. Schaefer, L. Bettini, V. Bono, F. Damiani, and N. Tanzarella, Delta-Oriented Programming of Software Product Lines, Proceedings, 14th International Software Product Line Conference, 2010.
DOI : 10.1007/978-3-642-15579-6_6

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), 2006.
DOI : 10.1109/RE.2006.23

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

S. Ch and P. J. Stuckey, Efficient constraint propagation engines, ACM Trans. Program. Lang. Syst, vol.31, issue.1, 2008.

S. Segura, Automated Analysis of Feature Models using Atomic Sets. First Workshop on Analyses of Software Product Lines (ASPL'08), SPLC'08, 2008.

S. Segura, D. Benavides, A. Ruiz-cortés, and P. Trinidad, Automated Merging of Feature Models Using Graph Transformations, LNCS, vol.5235, 2008.
DOI : 10.1007/978-3-540-88643-3_15

F. Semmak, G. Ch, and R. Laleau, Extended KAOS Method to Model Variability in Requirements, Communications in Computer and Information Science, vol.10, issue.1, pp.193-205, 2010.
DOI : 10.1002/spip.213
URL : https://hal.archives-ouvertes.fr/hal-01224647

F. Semmak, R. Laleau, and G. Ch, Supporting variability in goal-based requirements, 2009 Third International Conference on Research Challenges in Information Science, pp.271-280, 2009.
DOI : 10.1109/RCIS.2009.5089287
URL : https://hal.archives-ouvertes.fr/hal-01224652

H. A. Simon, The Sciences of the Artificial, 1981.

I. Sommerville and P. Sawyer, Requirements Engineering -A Good Practice Guide, 1997.

G. Spanoudakis and A. Zisman, Inconsistency management in software engineering: Survey and open research issues. Handbook of Software Engineering and Knowledge Engineering, pp.329-380, 2001.

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

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.
DOI : 10.1109/ECBS.2003.1194811

M. E. Stropky and D. Laforme, An automated mechanism for effectively applying domain engineering in reuse activities, Proceedings of the conference on TRI-Ada '95 Ada's role in global markets: solutions for a changing complex world, TRI-Ada '95, pp.332-340, 1995.
DOI : 10.1145/376503.376655

J. Sun, H. Zhang, and H. Wang, Formal semantics and verification for feature modeling, Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems, pp.303-312, 2005.

B. Tekinerdogan and M. Aksit, Managing variability in product line scoping using design space models, Proceedings of Software Variability Management Workshop, 2003.

P. Trinidad, D. Benavides, and A. Ruiz-cortés, A first step detecting inconsistencies in feature models, CAiSE Short Paper Proceedings, Advanced Information Systems Engineering, 18 th International Conference, 2006.

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

T. D. Miranda, a non-strict functional language with polymorphic types, in: Functional Programming Languages and Computer Architecture, Lecture Notes in Computer Science, vol.201, 1985.

P. Van-den-broek and I. Galvão, Analysis of Feature Models using Generalised Feature Trees, Third Int, 2009.

T. Van-der-storm, Variability and Component Composition, Proceedings of the 8th International Conference on Software Reuse (ICSR-8), 2004.
DOI : 10.1007/978-3-540-27799-6_13

T. Van-der-storm, Generic Feature-Based Composition, Proceedings of the Workshop on Software Composition (SC'07), pp.66-80, 2007.

R. Van-der-straeten, T. Mens, J. Simmonds, and V. Jonckers, Using Description Logic to Maintain Consistency between UML Models, UML 2003, pp.326-340, 2003.
DOI : 10.1007/978-3-540-45221-8_28

A. Van-deursen and P. Klint, Domain-Specific Language Design Requires Feature Descriptions, Journal of Computing and Information Technology, vol.10, issue.1, pp.1-18, 2002.
DOI : 10.2498/cit.2002.01.01

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

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

T. Von-der-maßen and H. Lichter, Modeling Variability by UML Use Case Diagrams. International Workshop on Requirements Engineering for Product Lines, Avaya Labs Report series editors, pp.18-26, 2002.

T. Von-der-maßen and H. Lichter, RequiLine: A Requirements Engineering Tool for Software Product Lines, Proceedings of International Workshop on Product Family Engineering PFE-5, 2003.
DOI : 10.1007/978-3-540-24667-1_13

J. Webster and R. Watson, Analyzing the past to prepare for the future: Writing a literature review, MIS Quarterly, vol.26, issue.2, p.xiii?xxiii, 2002.

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

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

H. Yan, W. Zhang, H. Zhao, and H. Mei, An Optimization Strategy to Feature Models??? Verification by Eliminating Verification-Irrelevant Features and Constraints, ICSR, 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, Proceedings of 6th International Conference on Formal Engineering Methods, pp.115-130, 2004.
DOI : 10.1007/978-3-540-30482-1_16

H. Zhao, W. Zhang, and H. Mei, Multi-view based customization of feature models, Journal of Frontiers of Computer Science and Technology, vol.2, issue.3, pp.260-273, 2008.

T. Ziadi, Manipulation de Lignes de Produits en UML. Unpublished doctoral dissertation, 2004.