Millisecond-Scale Real-Time Scheduling of Buses: A Controller-Based Approach · Study