Analysis of a Software System with Rejuvenation, Restoration and Checkpointing Hiroyuki Okamura (Hiroshima Univ.) Tadashi Dohi (Hiroshima Univ.) 1