Bisztray, Dénes, et al. “Verification of Architectural Refactorings: Rule Extraction and Tool Support”. Electronic Communications of the EASST, vol. 16, July 2009, doi:10.14279/tuj.eceasst.16.240.