Hartmut Ehrig Claudia Ermel Frank Hermann Ulrike Prange On-the-Fly Construction, Correctness and Completeness of Model Transformations Based on Triple Graph Grammars. 241-255 2009 MoDELS http://dx.doi.org/10.1007/978-3-642-04425-0_18 conf/models/2009 db/conf/models/models2009.html#EhrigEHP09