Proof of a Real-Time Mutual-Exclusion Algorithm. - J. Allen Carruth; Jayadev Misra (Parallel Process. Lett., 1996)