Text this: Analysis and Correctness of Algebraic Graph and Model Transformations