Robert H. B. Netzer, Sairam Subramanian, Jian Xu: Critical-Path-Based Message Logging for incremental Replay of Message-Passing Programs. ICDCS 1994: 404-413