Automated Diagnosis of Product-Line Configuration Errors in Feature Models | Publicación