Automated Generation of Consistency-Achieving Model Editors (SANER 2017)