A probabilistic model for vehicle scheduling based on stochastic trip times. (March 2016)