Efficient analysis and execution of correct and complete model transformations based on triple graph grammars | Publicación