Cristian Vidal Silva: Exploring efficient analysis alternatives on feature models. SPLC (B) 2017: 150-155