Validating Consistency between a Feature Model and Its Implementation. - Duc Minh Le; Hyesun Lee; Kyo Chul Kang; Lee Keun (ICSR, 2013)