D. Benavides, P. Trinidad, and A. Ruiz-cortés, Automated reasoning on feature models, Advanced Information Systems Engineering, pp.491-503, 2005.

K. Czarnecki and C. H. Kim, Cardinality-based feature modeling and constraints: A progress report, International Workshop on Software Factories, pp.16-20, 2005.

R. Mazo, J. C. Muñoz-fernández, L. Rincón, C. Salinesi, and G. Tamura, Variamos: an extensible tool for engineering (dynamic) product lines, Proceedings of the 19th International Conference on Software Product Line, ACM, pp.374-379, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01185815

R. Mazo, C. Salinesi, and D. Diaz, Abstract Constraints: A General Framework for SolverIndependent Reasoning on Product Line Models, INSIGHT-Journal of International Council on Systems Engineering (INCOSE), vol.14, issue.4, p.22, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00707418

K. Peffers, T. Tuunanen, M. Rothenberger, and S. Chatterjee, A Design Science Research Methodology for Information Systems Research, J. Manage. Inf. Syst, vol.24, pp.45-77, 2007.

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

F. Rossi, P. V. Beek, and T. Walsh, Handbook of Constraint Programming, 2006.

C. Salinesi, R. Mazo, O. Djebbi, D. Diaz, and A. Lora-michiels, Constraints: The core of product line engineering, Research Challenges in Information Science (RCIS), 2011 Fifth International Conference on, pp.1-10, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00707544