H. Ehrig, F. Hermann, and C. Sartorius, “Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions”, ECEASST, vol. 18, Sep. 2009.