https://123dok.net/document/yd7m04ng-correctness-model-synchronization-based-triple-grammars-extended-version.html