Synchronization in real-time systems a priority inheritance approach - Rajkumar, Ragunathan (Kluwer Academic Publications, 1991)