Using Design Patterns for Refactoring Real-World Models | IEEE Conference Publication | IEEE Xplore