Koichiro Rinsaka Tadashi Dohi Behavioral analysis of a fault-tolerant software system with rejuvenation. 159-166 2005 ISADS http://dx.doi.org/10.1109/ISADS.2005.1452042 conf/isads/2005 db/conf/isads/isads2005.html#RinsakaD05