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