Mazanek, S.; Minas, M. Generating Correctness-Preserving Editing Operations for Diagram Editors. eceasst 2009, 18.