Model transformations are the key technique in Model-Driven Engineering (MDE) to manipulate and construct models. As a ...