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