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. 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

B. Morin, O. Barais, G. Nain, and J. M. Jézéquel, Taming Dynamically Adaptive Systems using models and aspects, 2009 IEEE 31st International Conference on Software Engineering, pp.122-132, 2009.
DOI : 10.1109/ICSE.2009.5070514

J. Bosch, Toward Compositional Software Product Lines, IEEE Software, vol.27, issue.3, pp.29-34, 2010.
DOI : 10.1109/MS.2010.32

S. Buhne, K. Lauenroth, and K. Pohl, Modelling requirements variability across product lines, 13th IEEE International Conference on Requirements Engineering (RE'05), pp.41-52, 2005.
DOI : 10.1109/RE.2005.45

M. O. Reiser and M. Weber, Multi-level feature trees, Requirements Engineering, vol.8, issue.1, pp.57-75, 2007.
DOI : 10.1007/s00766-007-0046-0

H. Hartmann and T. Trew, Using Feature Diagrams with Context Variability to Model Multiple Product Lines for Software Supply Chains, 2008 12th International Software Product Line Conference, pp.12-21, 2008.
DOI : 10.1109/SPLC.2008.15

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

M. Bo?kovi?, G. Mussbacher, E. Bagheri, D. Amyot, D. Ga?evi? et al., Aspect-Oriented Feature Models, Proceedings of MODELS'10 workshops. MOD- ELS'10, pp.110-124, 2011.
DOI : 10.1007/978-3-642-12107-4_23

A. Hubaux, P. Heymans, P. Y. Schobbens, D. Deridder, and E. K. Abbasi, Supporting multiple perspectives in feature-based configuration. Software and Systems Modeling, pp.1-23, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00718144

M. Rosenmüller, N. Siegmund, T. Thüm, and G. Saake, Multi-dimensional variability modeling, Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '11, pp.11-20, 2011.
DOI : 10.1145/1944892.1944894

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

D. Clarke and J. Proença, Towards a Theory of Views for Feature Models, Proceedings of the First Intl. Workshop on Formal Methods in Software Product Line Engineering, pp.91-100, 2010.

G. Holl, P. Grünbacher, and R. Rabiser, A systematic review and an expert survey on capabilities supporting multi product lines, Information and Software Technology, vol.54, issue.8, pp.828-852, 2012.
DOI : 10.1016/j.infsof.2012.02.002

M. Acher, P. Collet, P. Lahire, and R. France, FAMILIAR: A domain-specific language for large scale management of feature models, Science of Computer Programming, vol.78, issue.6, pp.657-681, 2013.
DOI : 10.1016/j.scico.2012.12.004

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

P. Y. Schobbens, P. Heymans, J. C. 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, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.461-470, 2011.
DOI : 10.1145/1985793.1985856

E. N. Haslinger, R. E. Lopez-herrejon, and A. Egyed, On Extracting Feature Models from Sets of Valid Feature Combinations, Proceedings of FASE'13, pp.53-67, 2013.
DOI : 10.1007/978-3-642-37057-1_5

M. Acher, P. Heymans, A. Cleve, J. L. Hainaut, and B. Baudry, Support for reverse engineering and maintaining feature models, Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '13, 2013.
DOI : 10.1145/2430502.2430530

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

A. Hubaux, M. Acher, T. T. Tun, P. Heymans, P. Collet et al., Separating Concerns in Feature Models: Retrospective and Support for Multi-Views, Domain Engineering: Product Lines, Conceptual Models, and Languages, 2013.
DOI : 10.1007/978-3-642-36654-3_1

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

J. Schroeter, M. Lochau, and T. Winkelmann, Multi-perspectives on Feature Models, LNCS, vol.7590, pp.252-268, 2012.
DOI : 10.1007/978-3-642-33666-9_17

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

M. Mannion, J. Savolainen, and T. Asikainen, Viewpoint-Oriented Variability Modeling, 2009 33rd Annual IEEE International Computer Software and Applications Conference, pp.67-72, 2009.
DOI : 10.1109/COMPSAC.2009.19

M. Mendonca and D. Cowan, Decision-making coordination and efficient reasoning techniques for feature-based configuration, Science of Computer Programming, vol.75, issue.5, pp.311-332, 2010.
DOI : 10.1016/j.scico.2009.12.004

K. Czarnecki, S. Helsen, and U. Eisenecker, Staged configuration through specialization and multilevel configuration of feature models, Software Process: Improvement and Practice, pp.143-169, 2005.
DOI : 10.1002/spip.225

M. Acher, P. Collet, P. Lahire, and R. France, Comparing Approaches to Implement Feature Model Composition, LNCS, vol.6138, pp.3-19, 2010.
DOI : 10.1007/978-3-642-13595-8_3

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

L. A. Zaid, F. Kleinermann, and O. D. Troyer, Feature assembly: A new feature modeling technique, Conceptual Modeling (ER'10, pp.233-246, 2010.

K. Czarnecki, P. Grünbacher, R. Rabiser, K. Schmid, and A. W?sowski, 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

T. Berger, R. Rublack, D. Nair, J. M. Atlee, M. Becker et al., A survey of variability modeling in industrial practice, Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '13, 2013.
DOI : 10.1145/2430502.2430513

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

M. Wimmer, A. Schauerhuber, G. Kappel, W. Retschitzegger, W. Schwinger et al., A survey on UML-based aspect-oriented design modeling, ACM Computing Surveys, vol.43, issue.4, pp.1-2833, 2011.
DOI : 10.1145/1978802.1978807

C. Jeanneret, R. France, and B. Baudry, A reference process for model composition, Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling, AOM '08, pp.1-6, 2008.
DOI : 10.1145/1404920.1404921

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.97-106, 2012.
DOI : 10.1145/2362536.2362553

P. M. Camerini, L. Fratta, and F. Maffioli, A note on finding optimum branchings Companion web page: https://github.com/FAMILIAR-project/ familiar-documentation, pp.309-312, 1979.

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

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

A. Darwiche and P. Marquis, A knowledge compilation map, J. Artif. Intell. Res. (JAIR), vol.17, pp.229-264, 2002.

A. Classen, M. Cordy, P. Y. Schobbens, P. Heymans, A. Legay et al., Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking, IEEE Transactions on Software Engineering, vol.39, issue.8, 2012.
DOI : 10.1109/TSE.2012.86

Z. Diskin, T. Maibaum, and K. Czarnecki, Intermodeling, Queries, and Kleisli Categories, LNCS, vol.7212, pp.163-177, 2012.
DOI : 10.1007/978-3-642-28872-2_12

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

J. B. Filho, O. Barais, M. Acher, L. Noir, J. Baudry et al., Generating counterexamples of model-based software product lines, 17th International Conference on Software Product Lines (SPLC'13), 2013.
DOI : 10.1007/s10009-014-0341-2

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