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

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. L. Berre and A. Parrain, The Sat4j library, release 2.2, JSAT, vol.7, issue.2-3, pp.59-65, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00868136

C. Bessiere, H. Fargier, and C. Lecoutre, Global Inverse Consistency for Interactive Constraint Satisfaction, CP 2013, pp.159-174, 2013.
DOI : 10.1007/978-3-642-40627-0_15

URL : https://hal.archives-ouvertes.fr/hal-01147298

G. Botterweck and A. Pleuss, Evolution of Software Product Lines, Evolving Software Systems, pp.265-295, 2014.
DOI : 10.1007/978-3-642-45398-4_9

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.
DOI : 10.1002/spip.213

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.85.4104

K. Czarnecki, S. Helsen, and U. W. Eisenecker, Staged Configuration Through Specialization and Multi-Level Configuration of Feature Models. Software Process: Improvement and Practice, pp.143-169, 2005.

K. Czarnecki and C. H. Kim, Cardinality-Based Feature Modeling and Constraints: A Progress Report, International Workshop on Software Factories at OOPSLA'05, 2005.

Y. Dutuit and A. Rauzy, Exact and Truncated Computations of Prime Implicants of Coherent and non-Coherent Fault Trees within Aralia, Reliability Engineering and System Safety, vol.58, issue.2, pp.127-144, 1997.

J. Guo, Y. Wang, P. Trinidad, and D. Benavides, Consistency maintenance for evolving feature models, Expert Systems with Applications, vol.39, issue.5, pp.4987-4998, 2012.
DOI : 10.1016/j.eswa.2011.10.014

K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson, Feature-Oriented Domain Analysis (FODA) -Feasibility Study The Software Engineering Institute, 1990.

R. Lotufo, S. She, T. Berger, K. Czarnecki, and A. , Evolution of the Linux Kernel Variability Model, SPLC'10, pp.136-150
DOI : 10.1007/978-3-642-15579-6_10

R. Michel, A. Classen, A. Hubaux, Q. Boucher14-]-l, L. Neves et al., A Formal Semantics for Feature Cardinalities in Feature Diagrams Investigating the Safe Evolution of Software Product Lines, VaMoS'11 GPCE'11, pp.82-89, 2011.

A. Osman, S. Phon-amnuaisuk, and C. K. Ho, Knowledge Based Method to Validate Feature Models, SPLC'08 Workshops, pp.217-225, 2008.

L. Passos, K. Czarnecki, and A. , Towards a catalog of variability evolution patterns, Proceedings of the 4th International Workshop on Feature-Oriented Software Development, FOSD '12, pp.62-69, 2012.
DOI : 10.1145/2377816.2377825

L. Passos, J. Guo, L. Teixeira, K. Czarnecki, A. et al., Coevolution of variability models and related artifacts, Proceedings of the 17th International Software Product Line Conference on, SPLC '13, pp.91-100, 2013.
DOI : 10.1145/2491627.2491628

A. Pleuss, G. Botterweck, D. Dhungana, A. Polzer, and S. Kowalewski, Model-driven support for product line evolution on feature level, Journal of Systems and Software, vol.85, issue.10, pp.2261-2274, 2012.
DOI : 10.1016/j.jss.2011.08.008

C. Quinton, D. Romero, and L. Duchien, Cardinality-based feature models with constraints, Proceedings of the 17th International Software Product Line Conference on, SPLC '13, pp.162-166, 2013.
DOI : 10.1145/2491627.2491638

URL : https://hal.archives-ouvertes.fr/hal-00825971

C. Quinton, D. Romero, and L. Duchien, Automated Selection and Configuration of Cloud Environments Using Software Product Lines Principles, 2014 IEEE 7th International Conference on Cloud Computing, 2014.
DOI : 10.1109/CLOUD.2014.29

URL : https://hal.archives-ouvertes.fr/hal-00965836

R. Rabiser, P. Grünbacher, and D. Dhungana, Requirements for product derivation support: Results from a systematic literature review and an expert survey, Information and Software Technology, vol.52, issue.3, pp.324-346, 2010.
DOI : 10.1016/j.infsof.2009.11.001

M. Riebisch, K. Böllert, D. Streitferdt, and I. Philippow, Extending Feature Diagrams with UML Multiplicities, 2002.

P. Schobbens, P. Heymans, and J. Trigaux, Feature Diagrams: A Survey and a Formal Semantics, 14th IEEE International Requirements Engineering Conference (RE'06), pp.136-145, 2006.
DOI : 10.1109/RE.2006.23

C. Seidl, F. Heidenreich, and U. Aßmann, Co-evolution of models and feature mapping in software product lines, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, pp.76-85, 2012.
DOI : 10.1145/2362536.2362550

D. Steinberg, F. Budinsky, M. Paternostro, and E. Merks, EMF: Eclipse Modeling Framework, 2009.

T. Thüm, D. Batory, and C. Kastner, Reasoning about edits to feature models, 2009 IEEE 31st International Conference on Software Engineering, pp.254-264, 2009.
DOI : 10.1109/ICSE.2009.5070526

P. Trinidad, A. Ruiz, and ?. Cortés, Abductive Reasoning and Automated Analysis of Feature Models: How are they connected? In VaMos'09, pp.145-153