RT-replayer: a record-replay architecture for embedded real-time software debugging. - Ji Chan Maeng; Jung-Il Kwon; Min-Kyu Sin; Minsoo Ryu (SAC, 2009)