J. Bosch, “Maturity and Evolution in Software Product Lines,” Proceedings of the Second International Software Product Line Conference, Springer LNCS, San Diego, Vol. 2379, 19-22 August 2002, pp. 257-271.
 K. Kang, J. Hess, W. Novak and S. Peterson, “Feature Oriented Domain Analysis (FODA) Feasibility Study,” Technical Report No. CMU/SEI-90-TR-21, Software En-gineering Institute, Carnegie Mellon University, 1990.
 D. Benavides, A. Metzger and U. Eisenecker, “Third International Workshop on Variability Modelling of Soft- ware-intensive Systems,” ICB-Research Report No. 29, University of Duisburg Essen, Duisburg, 2009.
 T. Asikainen, T. Männistö and T. Soininen, “Using a Configurator for Modelling and Configuring Software Product Lines Based on Feature Models,” Proceedings of the Workshop on Software Variability Management for Product Derivation, Software Product Line Conference (SPLC3), Boston, 2004.
 T. Asikainen, T. Mnnistand and T. Soininen, “Representing Feature Models of Software Product Families Using a Configuration Ontology,” Proceedings of the General European Conference on Artificial Intelligence (ECAI) Workshop on Configuration, Berlin, 2004.
 M. Schlick and A. Hein, “Knowledge Engineering in Software Product Lines,” Proceedings of the 14th European Conference on Artificial Intelligent Workshop on Knowledge-Based Systems for Model-Based Engineering, Berlin, 2000.
 L. Hotez and T. Krebs, “Supporting the Product Derivation Process with a Knowledge Base Approach,” Proceedings of the 25th International Conference on Software Engineering ICSE2003, Oregon, 2003.
 L. Hotez and T. Krebs, “A Knowledge Based Product Derivation Process and Some Idea How to Integrate Product Development,” Proceedings of the Software Variability Management Workshop, Groningen, The Netherlands, 2003.
 W. Zhang, H. Zhao and H. Mei, “A Propositional Logic- Based Method for Verification of Feature Models,” The 6th International Conference on Formal Engineering Methods ICFEM04, LNCS 3308, 2004, pp. 115-130.
 J. Sun and H. Zhang, “Formal Semantics and Verification for Feature Modeling,” Proceedings of the 10th IEEE In-ternational Conference on Engineering of Complex Computer Systems (ICECCS05), Shanghai, 2005.
 H. Wang, H. Li, J. Sun, H. Zhang and J. Pan, “A Semantic Web Approach to Feature Modeling and Verification,” Proceedings of Workshop on Semantic Web Enabled Software Engineering (SWESE’05), Galway, 2005.
 R. Falbo, G. Guizzardi and K. Duarte, “An Ontological Approach to Domain Engineering,” Proceedings of 14th International Conference on Software Engineering and Knowledge Engineering, Ischia, 2002.
 V. Dedeban, “Ontology-Driven and Rules-Based System for Management and Pricing of Family of Product,” Master Thesis, Norwegian University of Science and Technology Department of Computer and Information Science, Norway, 2007.
 F. Shaofeng and N. Zhang, “Feature Model Based on Description Logics,” Proceedings of 10th International Conference on Knowledge-Based and Intelligent Infor-mation and Engineering Systems KES2006, Springer- Verlag Berlin Heidelberg, 2006, pp. 1144-1151.
 B. Korherr and B. List, “A UML 2 Profile for Variability Models and their Dependency to Business Processes,” 18th International Workshop on Database and Expert Systems Applications, IEEE, Regensburg, 2007.
 E. Oliveira, I. Gimenes, E. Huzita and J. Maldonado, “A Variability Management Process for Software Product Lines,” The 2005 Conference of the Centre for Advanced Studies on Collaborative Research, IBM Centre for Ad-vanced Studies Conference, Toranto, Ontario, 2005, pp. 225-241.
 S. Robak, B. Franczyk and K. Politowicz, “Extending the UML for Modelling Variability for System Families,” In-ternational Journal of Applied Mathematics and Computer Science, Vol.12, No. 2, 2002, pp. 285-298.
 A. Schnieders, “Modeling and Implementing Variability in State Machine Based Process Family Architectures for Automotive Systems,” The 3rd International Workshop on Software Engineering for Automotive Systems ICSE06, Shanghai, 2006.
 I. Philippow, M. Riebisch and K. Boell, “The Hyper/UML Approach for Feature Based Software Design,” The 4th AOSD Modeling with UML Workshop Collocated 6th In-ternational Conference on the Unified Modeling Language UML, San Francisco, 2003.
 M. Riebisch, K. B¨ollert, D. Streitferdt and I. Philippow, “Extending Feature Diagrams with UML Multiplicities, 6th World Conference on Integrated Design & Process Technology (IDPT2002), California, 2002.
 D. Streitferdt, M. Riebisch and I. Philippow, “Details of Formalized Relations in Feature Models Using OCL,” 10th IEEE International Conference on Engineering of Computer–Based Systems (ECBS 2003), Huntsville, IEEE Computer Society, 2003, pp. 45-54.
 K. Czarnecki and M. Antkiewicz, “Mapping Features to Models: A Template Approach Based on Superimposed Variants, Proceedings of the 4th International Conference on Generative Programming and Component Engineering GPCE’05, Tallinn, Estonia, 2005.
 K. Czarnecki and K. Pietroszek, “Verifying Feature-Based Model Templates against Well-Formedness OCL Con-straints,” Proceedings of the 5th International Conference on Generative Programming and Component Engineering GPCE’06, Oregon, 2006.
 D. Benavides, S. Segura, P. Trinidad and A. Ruiz-Cort´es, “Using Java CSP Solvers in the Automated Analyses of Feature Models,” Post-Proceedings of the Summer School on Generative and Transformational Techniques in Soft-ware Engineering (GTTSE), LNCS 4143, 2006.
 D. Benavides, “On the Automated Analysis of Software Product Line Using Feature Models, A Framework for Developing Automated Tool Support,” Ph.D. Dissertation, University of Sevilla, Sevilla, 2007.
 J. White, D. Schmidt, D. Benvides, P. Trinidad and A. Ruiz-Cortes, “Automated Diagnosis of Product Line Configuration Errors on Feature Models,” Proceedings of 12th International Conference of Software Product Line, Limerick Irland, 2008.
 F. Cao, B. Bryant and C. Carol, “Automating Fea-ture-Oriented Domain Analysis,” Proceedings of Interna-tional Conference on Software Engineering Research and Practice (SERP’03), 2003, pp. 944-949.
 S. Jarzabek and H. Zhang, “XML-Based Method and Tool for Handling Variant Requirements in Domain Models,” 5th IEEE International Symposium on Requirements En-gineering RE01, IEEE Press, Toronto, 2001. pp. 116-173.
 L. Lengyel, T. Levendovszky and H. Charaf, “Constraint Handling in Feature Models,” Proceedings of 5th Inter-national Symposium of Hungarian Researchers on Com-putational Intelligence, Budapest, 2004.
 F. Roos-Frantz, “A Preliminary Comparison of Formal Properties on Orthogonal Variability Model and Feature Models,” Proceedings of the 3rd International Workshop on Variability Modeling of Software-Intensive Systems, Sevilla, 2009.
 S. Segura, “Automated Analysis of Feature Models Using Atomic Sets,” The 1st International Workshop on Analyses of Software Product Lines (ASPL’08), Collocated with SPLC08, Limerick Ireland, 12-15 September 2008.
 H. Yan, W. Zhang, H. Zhao and H. Mei, “An Optimization Strategy to Feature Models’ Verification by Eliminating Verification-Irrelevant Features and Constraints,” Book Chapter in Formal Foundations of Reuse and Domain Engineering, Springer Berlin/Heidelberg, 2007, pp. 65-75.