K. Pohl, G. Böckle, and F. J. Van-der-linden, Software Product Line Engineering: Foundations, Principles and Techniques, 2005.
DOI : 10.1007/3-540-28901-1

M. Svahnberg, J. Van-gurp, and J. Bosch, A taxonomy of variability realization techniques, Software: Practice and Experience, vol.2, issue.8, pp.705-754, 2005.
DOI : 10.1002/spe.652

K. Czarnecki and A. Wasowski, Feature Diagrams and Logics: There and Back Again, 11th International Software Product Line Conference (SPLC 2007), pp.23-34, 2007.
DOI : 10.1109/SPLINE.2007.24

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

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

D. Benavides, S. Segura, and A. Ruiz-cortes, Automated analysis of feature models 20 years later: A literature review, Information Systems, vol.35, issue.6, 2010.
DOI : 10.1016/j.is.2010.01.001

S. She, R. Lotufo, T. Berger, A. Wasowski, and K. Czarnecki, Reverse engineering feature models, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.461-470, 2011.
DOI : 10.1145/1985793.1985856

N. Andersen, K. Czarnecki, S. She, and A. Wasowski, Efficient synthesis of feature models, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, pp.106-115, 2012.
DOI : 10.1145/2362536.2362553

A. Classen, P. Heymans, P. Schobbens, and A. Legay, Symbolic model checking of software product lines, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.321-330, 2011.
DOI : 10.1145/1985793.1985838

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

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

A. Gotlieb, A. Hervieu, and B. Baudry, Minimum Pairwise Coverage Using Constraint Programming Techniques, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, pp.773-774, 2012.
DOI : 10.1109/ICST.2012.174

M. F. Johansen, Ø. Haugen, and F. Fleurey, An algorithm for generating t-wise covering arrays from large feature models, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, pp.46-55, 2012.
DOI : 10.1145/2362536.2362547

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

S. She, K. Czarnecki, and A. Wasowski, Usage scenarios for feature model synthesis, Proceedings of the VARiability for You Workshop on Variability Modeling Made Useful for Everyone, VARY '12, pp.13-19, 2012.
DOI : 10.1145/2425415.2425419

E. N. Haslinger, R. E. Lopez-herrejon, and A. Egyed, Reverse Engineering Feature Models from Programs' Feature Sets, 2011 18th Working Conference on Reverse Engineering, pp.308-312, 2011.
DOI : 10.1109/WCRE.2011.45

N. Weston, R. Chitchyan, and A. Rashid, A framework for constructing semantically composable feature models from natural language requirements, SPLC'09, pp.211-220, 2009.

M. Acher, A. Cleve, G. Perrouin, P. Heymans, C. Vanbeneden et al., On extracting feature models from product descriptions, Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '12, pp.45-54, 2012.
DOI : 10.1145/2110147.2110153

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

M. Acher, A. Cleve, P. Collet, P. Merle, L. Duchien et al., Reverse Engineering Architectural Feature Models, ECSA'11, ser. LNCS, pp.220-235, 2011.
DOI : 10.1002/spe.652

URL : https://hal.archives-ouvertes.fr/inria-00614984

U. Ryssel, J. Ploennigs, and K. Kabitzsch, Extraction of feature models from formal contexts, Proceedings of the 15th International Software Product Line Conference on, SPLC '11, pp.1-8, 2011.
DOI : 10.1145/2019136.2019141

A. Rabkin and R. Katz, Static extraction of program configuration options, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.131-140, 2011.
DOI : 10.1145/1985793.1985812

S. Apel and C. Kästner, An Overview of Feature-Oriented Software Development., The Journal of Object Technology, vol.8, issue.5, pp.49-84, 2009.
DOI : 10.5381/jot.2009.8.5.c5

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

D. Harel and B. Rumpe, Meaningful modeling: what's the semantics of "semantics"?, Computer, vol.37, issue.10, pp.64-72, 2004.
DOI : 10.1109/MC.2004.172

M. Acher, P. Heymans, P. Collet, C. Quinton, P. Lahire et al., Feature Model Differences, CAiSE'12, ser, pp.629-645, 2012.
DOI : 10.1007/978-3-642-31095-9_41

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

M. Acher, P. Collet, P. Lahire, and R. France, Separation of concerns in feature modeling, Proceedings of the 11th annual international conference on Aspect-oriented Software Development, AOSD '12, pp.1-12, 2012.
DOI : 10.1145/2162049.2162051

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

A. Classen, Q. Boucher, and P. Heymans, A text-based approach to feature modelling: Syntax and semantics of TVL, Science of Computer Programming, vol.76, issue.12, pp.1130-1143, 2011.
DOI : 10.1016/j.scico.2010.10.005

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

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

H. Hartmann, T. Trew, and A. Matsinger, Supplier independent feature modelling, SPLC'09, pp.191-200, 2009.

M. Janota, V. Kuzina, and A. Wasowski, Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax, MODELS'08, ser. LNCS, pp.431-445, 2008.
DOI : 10.1007/978-3-540-87875-9_31