Hiroyuki Ito Tadashi Dohi Optimality of Control-Limit Type of Software Rejuvenation Policy. 483-487 2005 conf/icpads/2005 ICPADS (2) http://dx.doi.org/10.1109/ICPADS.2005.212 db/conf/icpads/icpads2005-2.html#ItoD05