On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars Long version - Ehrig, Hartmut 1944-2016; Ermel, Claudia; Hermann, Frank; Prange, Ulrike (Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin, 2009)