Synchronization in Real-Time Systems: A Priority Inheritance Approach (The Springer International Series in Engineering and Computer Science)