## Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions

$Rev: 13581$