Analysis of Deadline Scheduled Real-Time Systems
Dynamic priority ceilings: A concurrency control protocol for real-time systems