A tool support for checking consistency in model refactoring | IEEE Conference Publication | IEEE Xplore