Millisecond-Scale Real-Time Scheduling of Buses: A Controller-Based Approach | IEEE Journals & Magazine | IEEE Xplore