@article{HermannEhrigGolasetal.2014, author = {Frank Hermann and Hartmut Ehrig and Ulrike Golas and Fernando Orejas}, title = {Formal Analysis of Model Transformations Based on Triple Graph Grammars}, journal = {Mathematical Structures in Computer Science}, volume = {24}, number = {4}, pages = {1 -- 57}, doi = {10.1017/S0960129512000370}, year = {2014}, }