Telefona gönder: Theory and practice of model transformations