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