Stav dette: Theory and practice of model transformations