Optimality of Control-Limit Type of Software Rejuvenation Policy | IEEE Conference Publication | IEEE Xplore