Debugging race conditions in message-passing programs. - Robert H. B. Netzer; Timothy W. Brennan; Suresh K. Damodaran-Kamal (SPDT, 1996)