Zaslat SMS: Theory and practice of model transformations