Jeff Napper Lorenzo Alvisi Harrick M. Vin A Fault-Tolerant Java Virtual Machine. 425-434 2003 conf/dsn/2003 DSN http://doi.ieeecomputersociety.org/10.1109/DSN.2003.1209953 db/conf/dsn/dsn2003.html#NapperAV03