]. K. Kang, S. Cohen, J. Hess, W. Novak, S. Peterson-benavides et al., Feasibility Study Feature-Oriented Domain Analysis ( FODA ) Automated analysis of feature models 20 years later: A literature review A Propositional Logic-Based Method for Verification of Feature Models, Use of Software Architectures. Adopting and Evolving a Product-Line Approach Northrop, Software Product Lines: Practices and Patterns Proceedings of the 6th International Conference on Formal Engineering Methods (ICFEM'04), pp.615-636, 1990.

]. K. Egyed7, C. Czarnecki, C. Kim, R. Salinesi, and . Mazo, The Case of Feature Models Cardinality-based Feature Modeling and Constraints: A progress Report Defects in Product Line Models and how to Identify them Deficiencies in Feature Models, Conformance Checking with Constraint Logic Programming Proceedings of the 35th Annual International Computer Software and Applications Conference (COMPSAC) Proceedings of the InternationalWorkshop on Software Factories (OOPSLA 2005) Software Product Line -Advanced Topic Workshop on Software Variability Management for Product Derivation -Towards Tool Support, pp.456-465, 2004.

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 and A. Ruiz-cortes, Abductive Reasoning and Automated Analysis of Feature models: How are they connected, Proceedings of the Third International Workshop on Variability Modelling of Software-Intensive Systems, pp.145-153, 2009.

. Toro, Automated Error Analysis for the Agilization of Feature Modeling, Journal of Systems and Software, vol.81, issue.6, pp.883-896, 2008.

K. Czarnecki and K. T. Kalleberg, Feature Models are Views on Ontologies, 10th International Software Product Line Conference (SPLC'06), pp.41-51, 2006.
DOI : 10.1109/SPLINE.2006.1691576

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

K. Sandkuhl, C. Thörn, and W. Webers, Enterprise Ontology and Feature Model Integration -Approach and Experiences from an Industrial Case, ICSOFT (PL/DPS, pp.264-269, 2007.

S. Lee, J. Kim, C. Song, and D. Baik, An Approach to Analyzing Commonality and Variability of Features using Ontology in a Software Product Line Engineering, 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007), pp.727-734, 2007.
DOI : 10.1109/SERA.2007.41

L. Abo, G. Houben, O. De-troyer, and F. Kleinermann, An OWL-Based Approach for Integration in Collaborative Feature Modelling, SWESE 2008. 4th Workshop on Semantic Web Enabled Software Engineering, 2008.

L. Abo, F. Kleinermann, and O. De-troyer, Applying semantic web technology to feature modeling, Proceedings of the 2009 ACM symposium on Applied Computing, pp.1252-1256, 2009.

. Biletskiy, Feature Model Debugging based on Description Logic Reasoning, DMS'11, pp.158-164, 2011.

H. H. Wang, Y. F. Li, J. Sun, H. Zhang, and J. Pan, Verifying feature models using OWL, Web Semantics: Science, Services and Agents on the World Wide Web, vol.5, issue.2, pp.117-129, 2007.
DOI : 10.1016/j.websem.2006.11.006

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

G. Spanoudakis and A. Zisman, Inconsistency management in software engineering: Survey and open research issues Handbook of software engineering, pp.329-380, 2001.

T. Der-maßen and H. Lichter, Deficiencies in feature models, 2004.

K. Czarnecki, S. Helsen, and U. W. Eisenecker, Formalizing cardinality-based feature models and their specialization, Software Process: Improvement and Practice, pp.7-29, 2005.
DOI : 10.1002/spip.213

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

R. E. Lopez-herrejon and D. S. Batory, A Standard Problem for Evaluating Product-Line Methodologies, Proceedings of the Third International Conference on Generative and Component-Based Software Engineering, pp.10-24, 2001.
DOI : 10.1007/3-540-44800-4_2

D. Benavides, P. Trinidad, and A. Ruiz-cortés, Automated reasoning on feature models, Proceedings of the 17th international conference on Advanced Information Systems Engineering, pp.491-503, 2005.
DOI : 10.1007/11431855_34

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

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.

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.

R. Mazo, A Generic Approach for Automated Verification of Product Line Models, 2011.
URL : https://hal.archives-ouvertes.fr/tel-00707351

]. E. Sirin, B. Parsia, B. C. Grau, A. Kalyanpur, Y. Katz et al., Pellet: A practical OWL-DL reasoner, International Workshop on Formal Ontology, pp.51-53, 1993.
DOI : 10.1016/j.websem.2007.03.004

M. H. Wroe, R. A. Van-emden, A. Kowalskiconnor, D. Das, J. A. Benavides et al., A Practical Guide To Building OWL Ontologies Using The Protege-OWL Plugin and CO-ODE Tools Edition 1.0 Ontology Development 101 : A Guide to Creating Your First Ontology The Semantics of Predicate Logic as a Programming Language SQWRL: a Query Language for OWL, Proceedings of the 6th International Workshop OWL: Experiences and Directions, pp.733-742, 1976.

. Ruiz-cortés, BeTTy: benchmarking and testing on the automated analysis of feature models, Proceedings of the Sixth International Workshop on Variability Modeling of Software- Intensive Systems, pp.63-71, 2012.

R. Jimenez, C. Mazo, D. Salinesi, and . Diaz, Fama framework SPLC'08. 12th International VariaMos : a Tool for Product Line Driven Systems, Software Product Line Conference Proceedings of the 24th International Conference on Advanced Informa-tion Systems Engineering (CAiSE Forum'12), pp.359-359, 2008.