and Tomasz Janowski, "Verification of Schedulability for RealTime Programs (1993)

by Liu Zhiming, Mathai Joseph