RECIFE-MILP: An Effective MILP-Based Heuristic for the Real-Time Railway Traffic Management Problem | IEEE Journals & Magazine | IEEE Xplore