Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars | Publicación