Abductive Reasoning and Automated Analysis of Feature Models: How are they connected?. | Publicación