Golas, U.; Ehrig, H.; Herrmann, F. Formal Specification of Model Transformations by Triple Graph Grammars With Application Conditions. eceasst 2011, 39.