Iterative Development of Consistency-Preserving Rule-Based Refactorings. - Basil Becker; Leen Lambers; Johannes Dyck; Stefanie Birth; Holger Giese (ICMT@TOOLS, 2011)