Exact and Heuristic Algorithms for Rapid and Station Arrival-Time Guaranteed Bus Transportation via Lane Reservation | IEEE Journals & Magazine | IEEE Xplore