Replay Debugging for Multi-threaded Embedded Software. - Yann-Hang Lee; Young Wn Song; Rohit Girme; Sagar Zaveri; Yan Chen (EUC, 2010)