Formal analysis of model transformations based on triple graph grammars | Publicación