Feature Diagrams and Logics: There and Back Again
Refactoring product lines