An automatic real-time bus schedule redesign method based on bus arrival time prediction. (April 2021)