Ehrig, H.; Hermann, F.; Sartorius, C. Completeness and Correctness of Model Transformations Based on Triple Graph Grammars With Negative Application Conditions. eceasst 2009, 18.