Optimization Model for Collaborative Overhaul Workshop Scheduling Problem of Multiple EMUs | IEEE Conference Publication | IEEE Xplore