Models of Transit Systems for Optimization of the Grounded Vehicles Fleet | IEEE Conference Publication | IEEE Xplore