Real-Time System Scheduling (1990)

by N. Audsley, A. Burns