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