Αποστολή με SMS: Analysis and Correctness of Algebraic Graph and Model Transformations