A New Methodology for Modeling, Analysis, Synthesis, and Simulation of Time-Optimal Train Traffic in Large Networks. - Yazdan Bavafa-Toosi; Christoph Blendinger; Volker Mehrmann; Andreas Steinbrecher; Roman Unger (IEEE Trans Autom. Sci. Eng., 2008)