Frank Hermann 0001, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Susann Gottmann, Thomas Engel. Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Software and Systems Modeling, 14(1):241-269, 2015. [doi]
Abstract is missing.