1. Principles of constraint programming;Apt,2003
2. Feature models, grammars, and propositional formulas;Batory,2005
3. Using Java CSP solvers in the automated analyses of feature models;Benavides,2006
4. FAMA: tooling a framework for the automated analysis of feature models;Benavides,2007
5. Automated reasoning on feature models;Benavides,2005