Correctness of Model Synchronization Based on Triple Graph Grammars | Publicación