Bryan C. Ward, James H. Anderson: Supporting Nested Locking in Multiprocessor Real-Time Systems. ECRTS 2012: 223-232