A New Methodology for Modeling, Analysis, Synthesis, and Simulation of Time-Optimal Train Traffic in Large Networks | IEEE Journals & Magazine | IEEE Xplore