Lui Sha, Marco Caccamo: Real-Time Synchronization Protocols. Handbook of Scheduling 2004