Bisztray, Dénes, Reiko Heckel, and Hartmut Ehrig. 2009. “Verification of Architectural Refactorings: Rule Extraction and Tool Support”. Electronic Communications of the EASST 16 (July). https://doi.org/10.14279/tuj.eceasst.16.240.