On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars