Shun-Shii Lin, Kwei-Jay Lin: A Pinwheel Scheduler for Three Distinct Numbers with a Tight Schedulability Bound. Algorithmica 19(4): 411-426 (1997)