M. Acher, B. Baudry, P. Heymans, A. Cleve, and J. Hainaut, Support for Reverse Engineering and Maintaining Feature Models, Proc. of the 7th Int. Workshop on Variability Modelling of Software-intensive Systems, vol.20, pp.1-20, 2013.
DOI : 10.1145/2430502.2430530
URL : https://hal.archives-ouvertes.fr/hal-00766786

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.

Y. Bontemps, P. Heymans, P. Schobbens, and J. Trigaux, Generic Semantics of Feature Diagrams Variants, Feature Interactions in Telecommunications and Software Systems VIII, pp.58-77, 2005.

R. E. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986.
DOI : 10.1109/tc.1986.1676819
URL : http://www.cs.cmu.edu/~bryant/pubs.pdf

J. Carbonnel, M. Huchard, A. Miralles, and C. Nebut, Feature Model Composition Assisted by Formal Concept Analysis, Proc. of the 12th Int. Conf. on Evaluation of Novel Approaches to Software Engineering, pp.27-37, 2017.
DOI : 10.5220/0006276600270037
URL : https://hal.archives-ouvertes.fr/lirmm-01579476

J. Carbonnel, M. Huchard, and C. Nebut, Analyzing Variability in Product Families through Canonical Feature Diagrams, Proc. of the 29th Int. Conf. on Software Engineering and Knowledge Engineering, pp.185-190, 2017.
DOI : 10.18293/seke2017-087
URL : https://hal.archives-ouvertes.fr/lirmm-01621104

K. Czarnecki and A. Wasowski, Feature Diagrams and Logics: There and Back Again, Proc. of the 11th Int. Software Product Line Conference, pp.23-34, 2007.
DOI : 10.1109/spline.2007.24

J. Davril, E. Delfosse, N. Hariri, M. Acher, J. Cleland-huang et al., Feature Model Extraction from Large Collections of Informal Product Descriptions, Proc. of the 9th Joint Meeting of the European Software Engineering Conf. and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp.290-300, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00859475

B. Ganter, G. Stumme, and R. Wille, Formal Concept Analysis: Foundations and Applications, vol.3626, 2005.

A. Knüppel, The Role of Complex Constraints in Feature Modeling, 2016.

M. Mannion, Using First-Order Logic for Product Line Model Validation, Proc. of the 2nd Int. Software Product Line Conf, pp.176-187, 2002.
DOI : 10.1007/3-540-45652-x_11

R. Mazo, C. Salinesi, D. Diaz, O. Djebbi, and A. Lora-michiels, Constraints: The Heart of Domain and Application Engineering in the Product Lines Engineering Strategy, IJISMD, vol.3, issue.2, pp.33-68, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00707522

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

U. Ryssel, J. Ploennigs, and K. Kabitzsch, Extraction of Feature Models from Formal Contexts, Work. Proc. (2) of the 15th Int. Conf. on Software Product Lines, vol.4, pp.1-4, 2011.
DOI : 10.1145/2019136.2019141

P. Schobbens, P. Heymans, J. 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. She, R. Lotufo, T. Berger, A. Wasowski, and K. Czarnecki, Reverse Engineering Feature Models, Proc. of the 33rd Int. Conf. on Software Engineering, pp.461-470, 2011.
DOI : 10.1145/1985793.1985856

S. She, U. Ryssel, N. Andersen, A. Wasowski, and K. Czarnecki, Efficient Synthesis of Feature Models, Information & Software Technology, vol.56, issue.9, pp.1122-1143, 2014.
DOI : 10.1016/j.infsof.2014.01.012