Computer Aided Train Dispatching: Decision Support Through Optimization | Synapse