Correctness of model synchronization based on triple graph grammars - Hermann, Frank; Ehrig, Hartmut 1944-2016; Orejas, Fernando; Czarnecki, Krzysztof; Diskin, Zinovy; Xiong, Yingfei (Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin, 2011)