A Python framework for the automated analysis of feature models | Publicación