Automated analysis of feature models: Quo vadis? | Publicación