Efficient analysis and execution of correct and complete model transformations based on triple graph grammars - Hermann, Frank; Ehrig, Hartmut 1944-2016; Golas, Ulrike 1980-; Orejas, Fernando (Technische Universität Berlin, 2010)