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