Automated reasoning for multi-step feature model configuration problems | Publicación