@conference {372, title = {Correctness of Model Synchronization Based on Triple Graph Grammars}, booktitle = {ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems}, year = {2011}, month = {10/2011}, publisher = {Springer}, organization = {Springer}, attachments = {http://gsd.uwaterloo.ca/sites/default/files/main -final.pdf}, author = {Hermann, Frank and Ehrig, Hartmut and Orejas, Fernando and Krzysztof Czarnecki and Diskin, Zinovy and Xiong, Yingfei} }