Automated analysis of feature models | Publicación