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