A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra. - Fadil Alturki; Ridha Khédri (WER, 2010)