Bisztray, D.; Heckel, R.; Ehrig, H. Verification of Architectural Refactorings: Rule Extraction and Tool Support. ECEASST 2009, 16.