U. Golas, H. Ehrig, and F. Herrmann, “Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions”, eceasst, vol. 39, Sep. 2011.