Understanding model evolution through semantically lifting model differences with SiLift. - Timo Kehrer; Udo Kelter; Manuel Ohrndorf; Tim Sollbach (ICSM, 2012)