Feature models, grammars, and propositional formulas
FeaturePlugin: feature modeling plug-in for Eclipse