Vitalsource Technologies, Inc. Analysis And Correctness Of Algebraic Graph And Model Transformations