Formalizing architectural refactorings as graph transformation systems | IEEE Conference Publication | IEEE Xplore