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

K. Berg, J. Bishop, and D. Muthig, Tracing software product line variability: from problem to solution space. 893 SAICSIT '05. South African Institute for Computer Scientists and Information Technologists, pp.894-182, 2005.

K. Czarnecki and U. W. Eisenecker, Generative Programming
DOI : 10.1007/3-540-36208-8_2

K. Pohl and A. Metzger, Variability management in software product line engineering, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.6-905, 2006.
DOI : 10.1145/1134285.1134499

A. Rashid and A. Garcia, Traceability for Model Driven, Software Product Line Engineering, p.908
URL : https://hal.archives-ouvertes.fr/hal-00486706

K. Czarnecki and M. Antkiewicz, Mapping Features to Models: A Template Approach Based on 912

K. Czarnecki and K. Pietroszek, Verifying Feature-based Model Templates Against Well-formedness 915 OCL Constraints, Proceedings of the 5th International Conference on Generative Programming and 916 Component Engineering, pp.6-211, 2006.

J. M. Debaud and K. Schmid, A systematic approach to derive the scope of software product lines, Proceedings of the 21st international conference on Software engineering, ICSE '99, p.918
DOI : 10.1145/302405.302409

T. Eisenbarth, R. Koschke, and D. Simon, A Formal Method for the Analysis of Product Maps. Requirements 921 Engineering for Product Lines Workshop, p.14, 2002.

T. K. Satyananda, D. Lee, S. Kang, and S. Hashmi, Identifying Traceability between Feature Model and 923

C. Zhu, Y. Lee, W. Zhao, and J. Zhang, A Feature Oriented Approach to Mapping from Domain 926 Requirements to Product Line Architecture, Software Engineering Research and Practice, pp.927-219, 2006.

S. R. De-lemos-meira, Towards Metamodel Support for Variability and Traceability in Software Product 932

Y. Ghanam and F. Maurer, Extreme Product Line Engineering: Managing Variability and Traceability via 935

M. Riebisch and R. Brcina, Optimizing Design for Variability Using Traceability Links, 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008)
DOI : 10.1109/ECBS.2008.37

A. Biere and . Picosat, QBF-Tutorial, Goultiaeva, A, vol.25, issue.948, p.27, 2008.

S. Mohalik, S. Ramesh, J. V. Millo, S. N. Krishna, and G. K. Narwane, Tracing SPLs precisely and efficiently, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, pp.950-2012
DOI : 10.1145/2362536.2362562
URL : https://hal.archives-ouvertes.fr/hal-00799104

D. Benavides, S. Segura, P. Trinidad, A. R. Cortés, and . Fama, Tooling a Framework for the Automated 952 Analysis of Feature Models, VaMoS, pp.129-134, 2007.

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

P. Y. Schobbens, P. Heymans, J. C. Trigaux, and Y. Bontemps, Generic semantics of feature diagrams, Computer 958 Networks, pp.456-479, 2007.
DOI : 10.1016/j.comnet.2006.08.008

D. Batory, Feature Models, Grammars, and Propositional Formulas, Proceedings of the 9th International 960 Conference on Software Product Lines, 2005, SPLC'05, pp.7-20
DOI : 10.1007/11554844_3

B. Stockmeyer and L. J. , The polynomial-time hierarchy, Theoretical Computer Science, vol.3, issue.1, pp.1-22, 1976.
DOI : 10.1016/0304-3975(76)90061-X

F. Á. Roos-frantz, J. Galindo, and D. Benavides, Ruiz-Cortés, A. FaMa-OVM: A Tool for the Automated 966

J. A. Galindo, D. Benavides, and S. Segura, Debian Packages Repositories as Software Product Line Models. 969 Towards Automated Analysis, ACoTA, pp.29-34, 2010.

M. Seidl, . Qpro, and . Format, http://qbf.satisfiability.org/gallery/qpro.pdf. 971 41. Gallery, Q. QCIR-G14: A Non-Prenex Non-CNF Format for Quantified Boolean Formulas

C. Peschiera, L. Pulina, A. Tacchella, U. Bubeck, and O. Kullmann, Lynce, I. The Seventh QBF Solvers 974 Evaluation, pp.237-250, 2010.

M. Mendonca, M. Branco, and D. S. Cowan, Software Product Lines Online Tools, Proceedings of 976 the 24th ACM SIGPLAN Conference Companion on Object Oriented Programming Systems Languages 977 and Applications, pp.9-761, 2009.

. Models, Towards Automated Analysis, Proceedings of the 1st International Workshop on Automated 980

S. Segura, J. A. Galindo, D. Benavides, J. A. Parejo, and A. R. Cortés, BeTTy, Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '12, pp.63-71, 2012.
DOI : 10.1145/2110147.2110155

T. Batory, D. S. Kästner, and C. , Reasoning about edits to feature models, pp.31-984

J. White, D. Benavides, D. Schmidt, P. Trinidad, B. Dougherty et al., Automated diagnosis of feature model configurations, Journal of Systems and Software, vol.83, issue.7, pp.1094-1107, 2010.
DOI : 10.1016/j.jss.2010.02.017

E. Bagheri, T. Di-noia, A. Ragone, and D. Gasevic, Configuring software product line feature models based 989 on stakeholders' soft and hard requirements, SPLC LNCS, vol.6287, pp.16-31, 2010.

S. Soltani, M. Asadi, M. Hatala, D. Gavsevi´cgavsevi´c, and E. Bagheri, Automated planning for feature model 991 configuration based on stakeholders' business concerns, ASE, pp.536-539, 2011.

P. Borba, L. Teixeira, and R. Gheyi, A theory of software product line refinement, Theor. Comput. Sci, vol.993, pp.455-457, 2012.

M. Mendonca, A. Wasowski, and K. Czarnecki, SAT-based analysis of feature models is easy

M. Janota and J. Kiniry, Reasoning about Feature Models in Higher-Order Logic. Software Product Lines, 11th International Conference, pp.1002-1015, 1001.

M. Acher, P. Collet, P. Lahire, and R. B. France, Separation of concerns in feature modeling, Proceedings of the 11th annual international conference on Aspect-oriented Software Development, AOSD '12
DOI : 10.1145/2162049.2162051
URL : https://hal.archives-ouvertes.fr/hal-00767423