JVM Independent Replay in Java - Schuppan, Viktor; Baur, Marcel; Biere, Armin (ENTCS: Electronic Notes in Theoretical Computer Science, 2004)