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

K. Czarnecki and K. Pietroszek, Verifying Feature-Based Model Templates Against 13, 2006.
DOI : 10.1145/1173706.1173738

K. Czarnecki, S. Helsen, and U. W. Eisenecker, Formalizing cardinality-based feature 16 models and their specialization. Software Process: Improvement and Practice, pp.17-24, 2005.

A. Dauron and J. Astesana, Spécification et configuration de la ligne de produits NuseibehA framework for expressing the 12 relationships between multiple views in requirements specification, p.13, 1994.

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

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

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

C. Salinesi, R. Mazo, D. Diaz, and O. Djebbi, Solving Integer Constraint in Reuse Based 23 Requirements Engineering, 18th IEEE Int, pp.243-251, 2010.

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

P. Y. Schobbens, P. Heymans, J. C. Trigaux, and Y. Bontemps, Generic semantics of feature 30 diagrams, Journal of Computer Networks, vol.51, issue.2, 2007.

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

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

D. Streitferdt, M. Riebisch, and I. Philippow, Details of formalized relations in feature 38 models using OCL, Proceedings of 10th IEEE International Conference on 39 Engineering of Computer?Based Systems, pp.45-54, 2003.

P. Trinidad, D. Benavides, A. Durán, A. Ruiz-cortés, and M. Toro, Automated error 42 analysis for the agilization of feature modeling, Journal of Systems & Software, issue.6, pp.81-124, 2008.

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