Demand-Driven Train Schedule Synchronization for High-Speed Rail Lines | IEEE Journals & Magazine | IEEE Xplore