A bus progression model based on the control of bus dwell time at stops and running speed | IEEE Conference Publication | IEEE Xplore