Golas, U., Ehrig, H., & Herrmann, F. (2011). Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions. Electronic Communications of the EASST, 39. https://doi.org/10.14279/tuj.eceasst.39.646