|  Kang K C, Cohen S G, Hess J A, Novak W E, Peterson A S. Feature-oriented domain analysis (FODA) feasibility study. Technical Report, CMU-SEI 90-TR-21, Software Engineering Institute, Carnegie Mellon University, USA, Nov. 1990. Czarnecki K, Helsen S, Eisenecker U W. Formalizing cardinality-based feature models and their specialization. Software Process: Improvement and Practice, 2005, 10(1): 7-29. von der Maßen T, Lichter H. Deficiencies in feature models. In Proc. Workshop on Software Variability Management for Product Derivation, August 30-September 2, 2004. Benavides D, Segura S, Cortés A R. Automated analysis of feature models 20 years later: A literature review. Information Systems, 2010, 35(6): 615-636. Mannion M. Using first-order logic for product line model validation. In Proc. the 2nd International Software Product Line Conference, August 2002, pp.176-187. Batory D S. Feature models, grammars, and propositional formulas. In Proc. the 9th International Software Product Line Conference, September 2005, pp.7-20. Zhang W, Yan H, Zhao H, Jin Z. A BDD-based approach to verifying clone-enabled feature models' constraints and customization. In Proc. the 10th International Conference on Software Reuse, May 2008, pp.186-199. She S, Lotufo R, Berger T, Wasowski A, Czarnecki K. The variability model of the Linux kernel. In Proc. the 4th International Workshop on Variability Modelling of SoftwareIntensive Systems, January 2010, pp.45-51. Batory D S, Benavides D, Cortés A R. Automated analysis of feature models: Challenges ahead. Commun. ACM, 2006, 49(12): 45-47. Borning A, Freeman-Benson B N, Wilson M. Constraint hierarchies. Lisp and Symbolic Computation, 1992, 5(3): 223-270. Sannella M. SkyBlue: A multi-way local propagation constraint solver for user interface construction. In Proc. the 7th Symp. User Interface Software and Technology, Nov. 1994, pp.137-146. Sannella M. The SkyBlue constraint solver and its applications. In Proc. Workshop on Principles and Practice of Constraint Programming, Apr. 1993, pp.258-268. Zhang W, Mei H, Zhao H. Feature-driven requirement dependency analysis and high-level software design. Requir. Eng., 2006, 11(3): 205-220. Wang B, Passos L, Xiong Y, Czarnecki K, Zhao H, Zhang W. Smartfixer: Fixing software configurations based on selfadaptive priorities. In Proc. the 17th International Software Product Line Conference, Aug. 2013, pp.82-90. Czarnecki K, She S, Wasowski A. Sample spaces and feature models: There and back again. In Proc. the 12th Int. Software Product Line Conference, Sept. 2008, pp.22-31. Benavides D, Trinidad P, Cortés A R. Using constraint programming to reason on feature models. In Proc. the 17th International Conference on Software Engineering and Knowledge Engineering, July 2005, pp.677-682. Egyed A. Fixing inconsistencies in UML design models. In Proc. the 29th International Conference on Software Engineering, May 2007, pp.292-301. Trinidad P, Benavides D, Durán A, Cortés A R, Toro M. Automated error analysis for the agilization of feature modeling. J. Syst. Softw., 2008, 81(6): 883-896. White J, Schmidt D C, Benavides D, Trinidad P, Cortés A R. Automated diagnosis of product-line configuration errors in feature models. In Proc. the 12th International Software Product Line Conference, September 2008, pp.225-234. Schubert M, Felfernig A, Mandl M. Fastxplain: Conflict detection for constraint-based recommendation problems. In Proc. the 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, June 2010, Part 1, pp.621-630. Felfernig A, Friedrich G, Jannach D, Stumptner M. Consistency-based diagnosis of configuration knowledge bases. Artificial Intelligence, 2004, 152(2): 213-234. Wang B, Xiong Y, Hu Z et al. A dynamic-priority based approach to fixing inconsistent feature models. In Proc. the 13th International Conference on Model Driven Engineering Languages and Systems, October 2010, Part 1, pp.181-195.