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

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

P. Trinidad, D. Benavides, A. Duran, A. Ruiz-cortés, and M. Toro, Automated error analysis for the agilization of feature modeling, Journal of Systems and Software, vol.81, issue.6, pp.883-896, 2008.
DOI : 10.1016/j.jss.2007.10.030

V. Der-massen, T. Lichter, and H. , Deficiencies in Feature Models , En: Workshop on Software Variability Management for Product Derivation -Towards Tool Support, 2004.

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. Benavides, S. Segura, and A. Ruiz-cortés, Automated analysis of feature models 20 years later: A literature review, Information Systems, vol.35, issue.6, pp.615-636, 2010.
DOI : 10.1016/j.is.2010.01.001

J. Sun, H. Zhang, and H. Wang, Formal Semantics and Verification for Feature Modeling, Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems, pp.303-312, 2005.

C. Salinesi and R. Mazo, Defects in Product Line Models and how to identify them , En: Software Product Line -Advanced Topic, pp.97-122, 2012.

T. Thüm, C. Kastner, F. Benduhn, and J. Meinicke, SAAK: FeatureIDE: An extensible framework for featureoriented software development, Science of Computer Programming, 2012.

R. Mazo, C. Salinesi, and D. Diaz, VariaMos, Proceedings of the 19th International Conference on Software Product Line, SPLC '15, pp.25-29, 2012.
DOI : 10.1145/2791060.2791103

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

P. Trinidad and A. Ruiz-cortés, 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.

D. Batory, D. Benavides, and A. Ruiz-cortés, Automated analysis of feature models, Communications of the ACM, vol.49, issue.12, pp.45-47, 2006.
DOI : 10.1145/1183236.1183264

L. Abo, F. Kleinermann, D. Troyer, and O. , Applying semantic web technology to feature modeling, Proceedings of the 2009 ACM symposium on Applied Computing (SAC '09, pp.1252-1256, 2009.

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

D. L. Mcguinness, F. Van-harmelen, A. Das, V. Tsetsos, V. Papataxiarhis et al., SQWRL: a Query Language for OWL , En: Proceedings of the 6th International Workshop OWL: Experiences and Directions Personalization based on Semantic Web Technologies Semantic Web Engineering in the Knowledge Society, Information Science Reference Semantic web: concepts, technologies and applications Springer-Verlag Criteria for Comparing Requirements Variability Modeling Notations for Product Lines Formalizing Cardinality-based Feature Models and their Specialization. Software Process: Improvement and Practice Automated Analysis of Feature Models Using Atomic Sets, OTHERS: OWL web ontology language overview. W3C recommendation: Proceedings of the Fourth International Workshop on Comparative Evaluation in Requirements Engineering. IEEE: Proceedings of the First Workshop on Analyses of Software Product Lines (ASPL08) Construction of Engineering Ontologies for Knowledge Sharing and Reuse: Ph.D. Dissertation Toward Principles for the Design of Ontologies Used for Knowledge Sharing: International Workshop on Formal Ontology.( Eds.Guarino N, Poli R), pp.52-75, 1993.

M. Horridge, H. Knublauch, A. Rector, R. Stevens, C. Wroe et al., A Practical Guide To Building OWL Ontologies Using The Protege-OWL Plugin and CO-ODE Tools Edition 1.02004, Java expert system shell

N. Noy, D. Mcguinness, . Apache, . Software, and . Foundation, Ontology Development 101 : A Guide to Creating Your First Ontology, pp.1-25, 2001.

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

L. F. Rincón, G. L. Giraldo, R. Mazo, C. Salinesi, and D. Diaz, Subconjuntos Minimos de Correccion para explicar caracteristicas muertas en Modelos de Lineas de Productos. El caso de los Modelos de Caracteristicas Armenia-Colombia, Proceedings of the 8th Colombian Computer Conference (CCC), 2013.

H. Wang, Y. Li, J. Sun, H. Zhang, J. Pan et al., Verifying feature models using OWL, Proceedings of the Fifth International Conference on Software Engineering Research, Management and Applications. IEEE, pp.117-129, 2007.
DOI : 10.1016/j.websem.2006.11.006