Bisztray, D., Heckel, R. and Ehrig, H. (2009) “Verification of Architectural Refactorings: Rule Extraction and Tool Support”, Electronic Communications of the EASST, 16. doi: 10.14279/tuj.eceasst.16.240.