Testing models and model transformations using classifying terms | Publicación