Temporal Protection in Real-Time Operating Systems
Cliff Mercer, Ragunathan Rajkumar, and Jim Zelenka