S. Mazanek and M. Minas, “Generating Correctness-Preserving Editing Operations for Diagram Editors”, ECEASST, vol. 18, Sep. 2009.