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