Semantical correctness and completeness of model transformations using graph and rule transformations - Ehrig, Hartmut 1944-2016; Ermel, Claudia ([Technische Universität Berlin], 2008)