Benders Decomposition-Based Optimization of Train Departure Frequencies in Metro Networks | IEEE Conference Publication | IEEE Xplore