Ehrig, H., Hermann, F., & Sartorius, C. (2009). Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions. Electronic Communications of the EASST, 18. https://doi.org/10.14279/tuj.eceasst.18.270