Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions. - Hartmut Ehrig; Frank Hermann 001; Christoph Sartorius (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)