Automated analysis of two-layered feature models with feature attributes | Publicación