Return to Article Details Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions Download Download PDF