Bus travel time prediction with real-time traffic information. (August 2019)