Formalizing MDA-Based Refactorings | IEEE Conference Publication | IEEE Xplore