Correctness of Incremental Model Synchronization with Triple Graph Grammars | Publicación