Hiroyuki Okamura Tadashi Dohi Analysis of a Software System with Rejuvenation, Restoration and Checkpointing. 110-128 2008 ISAS http://dx.doi.org/10.1007/978-3-540-68129-8_10 conf/isas/2008 db/conf/isas/isas2008.html#OkamuraD08