P. Clements and L. Northrop, Software Product Lines: Practices and Patterns, 2001.

K. Kang, S. Cohen, J. Hess, W. Novak, and S. Peterson, Feasibility Study Feature-Oriented Domain Analysis ( FODA ), 1990.

P. Trinidad, D. Benavides, and A. Ruiz-cortés, Isolated Features Detection in Feature Models, Proceedings of Conference on Advanced Information Systems Engineering, pp.1-4, 2006.

D. Batory, Feature Models, Grammars, and Propositional Formulas, Software Product Lines, pp.7-20, 2005.
DOI : 10.1007/11554844_3
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.80.9092

A. Osman, S. Phon-amnuaisuk, C. Kuan, and . Ho, Knowledge Based Method to Validate Feature Models, First International Workshop on Analyses of Software Product Lines, pp.217-225, 2008.

A. Osman, S. Phon-amnuaisuk, C. Kuan, and . Ho, Investigating Inconsistency Detection as a Validation Operation in Software Product Line, Studies in Computational Intelligence, pp.159-168, 2009.

C. Salinesi and R. Mazo, Defects in Product Line Models and How to Identify Them, Software Product Line -Advanced Topic, pp.1-40, 2012.
DOI : 10.5772/35662
URL : https://hal.archives-ouvertes.fr/hal-00707461

T. Thüm, C. Kastner, F. Benduhn, J. Meinicke, and S. , FeatureIDE: An extensible framework for feature-oriented software development, Science of Computer Programming, 2012.
DOI : 10.1016/j.scico.2012.06.002

P. Trinidad, D. Benavides, A. Duran, A. Ruiz-cortes, M. Toro et al., Abductive Reasoning and Automated Analysis of Feature models: How are they connected Verifying feature models using OWL Web Semantics: Science, Services and Agents on the World Wide Web A Propositional Logic-Based Method for Verification of Feature Models Deficiencies in Feature Models A Generic Approach for Automated Verification of Product Line Models Automated Analysis of Feature Models Using Atomic Sets Transforming Attribute and Clone-Enabled Feature Models Into Constraint Programs Over Finite DomainsMazo Transforming Attribute and Clone- Enabled Feature Models Into Constraint Programs Over Finite, Automated Error Analysis for the Agilization of Feature Modeling Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems Proceedings of the 6th International Conference on Formal Engineering Methods Workshop on Software Variability Management for Product Derivation -Towards Tool Support Proceedings of the First Workshop on Analyses of Software Product Lines (ASPL08) Proc. of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), pp.883-896, 2004.

J. Bailey and P. J. Stuckey, Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization, Proceedings of the 7th International Symposium on Practical Aspects of Declarative Languages (PADL'05, pp.174-186, 2005.
DOI : 10.1007/978-3-540-30557-6_14

M. H. Liffiton, K. A. Sakallah-]-m, D. Liffiton, P. Benavides, A. Trinidad et al., Analyzing Infeasible Constraint Systems Automated reasoning on feature models Using constraint programming to reason on feature models VariaMos : a Tool for Product Line Driven Systems, Algorithms for Computing Minimal Unsatisfiable Subsets of Constraints Proceedings of the 17th international conference on Advanced Information Systems Engineering Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEK'5) Proceedings of the 24th International Conference on Advanced Informa-tion Systems Engineering (CAiSE Forum'12), pp.1-33, 2005.

D. Benavides, P. S. Trinidad, J. A. Segura, D. Galindo, J. A. Benavides et al., BeTTy: benchmarking and testing on the automated analysis of feature models Fama framework Formal semantics and verification for feature modeling, Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems Software Product Line Conference SPLC'08. 12th International Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on Lauenroth, A. Metzger, and K. Pohl, " Quality Assurance in the Presence of Variability Intentional Perspectives on Information Systems Engineering, S. Nurcan, C. Salinesi, C. Souveyet, and J. Ralyté, pp.1-10, 2005.