Jong-Won Ko, Su-Jin Baek, Jung-Soo Han: Model Transformation Verification Using Mapping Pattern and Model Transformation Similarity. ICITCS 2012: 1171-1178