Edward Mascarenhas Felipe Knop Reuben Pasquini Vernon Rego Checkpoint and Recovery Methods in the ParaSol Simulation System. 452-459 1997 Winter Simulation Conference http://doi.acm.org/10.1145/268437.268525 db/conf/wsc/wsc1997.html#MascarenhasKPR97