Refactoring product lines
Feature models, grammars, and propositional formulas