Return to Article Details Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions Download Download PDF