Automating the variability formalization of a model family by means of common variability language | Publicación