Automated verification of model transformations based on visual contracts | Publicación