Danbing Seto, John P. Lehoczky, Lui Sha, Kang G. Shin: On task schedulability in real-time control systems. RTSS 1996: 13-21