Rail Crew Scheduling Based on a Pooling Mode for High Speed Passenger Lines | IEEE Conference Publication | IEEE Xplore