Feature Diagrams and Logics: There and Back Again