Feature models, grammars, and propositional formulas
Constraint-based design-space exploration and model synthesis