M. Acher, P. Collet, P. Lahire, and R. France, Slicing feature models, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp.424-427, 2011.
DOI : 10.1109/ASE.2011.6100089

F. Bachmann, C. Paul, and . Clements, Variability in software product lines, 2005.
DOI : 10.21236/ADA450337
URL : http://repository.cmu.edu/cgi/viewcontent.cgi?article=1446&context=sei

D. Batory, Feature Models, Grammars, and Propositional Formulas, International Conference on Software Product Lines, pp.7-20, 2005.
DOI : 10.1007/11554844_3
URL : http://www.cs.utexas.edu/ftp/pub/techreports/tr05-14.pdf

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

J. Bosch, G. Florijn, D. Greefhorst, J. Kuusela, K. Obbink et al., Variability Issues in Software Product Lines, International Workshop on Software Product-Family Engineering, pp.13-21, 2001.
DOI : 10.1007/3-540-47833-7_3

R. Capilla, J. Bosch, and K. Kang, Systems and Software Variability Management, 2013.
DOI : 10.1007/978-3-642-36583-6

O. James and . Coplien, Multi-paradigm design for C++, 1999.

O. James, L. Coplien, and . Zhao, Symmetry breaking in software patterns, International Symposium on Generative and Component-Based Software Engineering, pp.37-54, 2000.

K. Czarnecki, P. Grünbacher, R. Rabiser, K. Schmid, and A. W. , Cool features and tough decisions, Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '12, pp.173-182, 2012.
DOI : 10.1145/2110147.2110167

H. Gomaa, Designing Software Product Lines with UML, 29th Annual IEEE/NASA Software Engineering Workshop, Tutorial Notes (SEW'05), 2005.
DOI : 10.1109/SEW.2005.5

P. Heymans, Q. Boucher, A. Classen, A. Bourdoux, and L. Demonceau, A code tagging approach to software product line development, International Journal on Software Tools for Technology Transfer, vol.11, issue.2, pp.553-566, 2012.
DOI : 10.1145/505145.505148
URL : https://hal.archives-ouvertes.fr/hal-00718296

I. Jacobson, M. Griss, and P. Jonsson, Software reuse: architecture , process and organization for business success, 1997.

C. Kyo, . Kang, G. Sholom, . Cohen, A. James et al., Feature-oriented domain analysis (FODA) feasibility study, 1990.

C. Kyo, S. Kang, J. Kim, K. Lee, E. Kim et al., FORM: A feature-; oriented reuse method with domain-; specific reference architectures, Annals of Software Engineering, vol.5, issue.1, p.143, 1998.

S. Krieter, R. Schröter, T. Thüm, W. Fenske, and G. Saake, Comparing algorithms for efficient feature-model slicing, Proceedings of the 20th International Systems and Software Product Line Conference on, SPLC '16, pp.60-64, 2016.
DOI : 10.1109/SPLC.2011.53

H. Duc-minh-le, . Lee, L. Kang, and . Keun, Validating consistency between a feature model and its implementation, International Conference on Software Reuse, pp.1-16, 2013.

D. Le-berre and A. Parrain, The sat4j library, release 2.2, system description, Journal on Satisfiability Boolean Modeling and Computation, vol.7, pp.59-64, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00868136

E. Roberto, D. Lopez-herrejon, and . Batory, A standard problem for evaluating product-line methodologies, International Symposium on Generative and Component-Based Software Engineering, pp.10-24, 2001.

R. Lotufo, S. She, T. Berger, K. Czarnecki, and A. W. , Evolution of the Linux Kernel Variability Model, International Conference on Software Product Lines, pp.136-150, 2010.
DOI : 10.1007/978-3-642-15579-6_10

A. Metzger and P. Heymans, Comparing feature diagram examples found in the research literature, 2007.

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

K. Pohl, G. Böckle, J. Frank, and . Van-der-linden, Software product line engineering: foundations, principles and techniques, 2005.
DOI : 10.1007/3-540-28901-1

R. Alcemir-rodrigues-santos, E. Pereira-de-oliveira, and . Santana-de-almeida, Strategies for consistency checking on software product lines: a mapping study, Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering, 2015.

K. Schmid and I. John, A customizable approach to full lifecycle variability management, Science of Computer Programming, vol.53, issue.3, pp.259-284, 2004.
DOI : 10.1016/j.scico.2003.04.002
URL : https://doi.org/10.1016/j.scico.2003.04.002

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

R. Tartler, J. Sincero, C. Dietrich, W. Schröder-preikschat, and D. Lohmann, Revealing and repairing configuration inconsistencies in large-scale system software, International Journal on Software Tools for Technology Transfer, vol.5, issue.2, pp.531-551, 2012.
DOI : 10.1145/1739230.1739256

X. Tërnava and P. Collet, Tracing Imperfectly Modular Variability in Software Product Line Implementation, International Conference on Software Reuse, 2017.
DOI : 10.1016/j.scico.2003.04.002

T. Thüm, C. Kästner, F. Benduhn, J. Meinicke, G. Saake et al., FeatureIDE: An extensible framework for feature-oriented software development, Science of Computer Programming, vol.79, pp.70-85, 2014.
DOI : 10.1016/j.scico.2012.06.002

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, pp.63-72, 2010.
DOI : 10.1145/1858996.1859009
URL : http://www.alexander-egyed.com/publications/Flexible and Scalable Consistency Checking.pdf