An optimization approach for real-time headway control of railway traffic | IEEE Conference Publication | IEEE Xplore