John P. Lehoczky Lui Sha Performance of Real-Time Bus Scheduling Algorithms. 44-53 1986 SIGMETRICS db/conf/sigmetrics/sigmetrics86.html#LehoczkyS86