An optimal stopping problem for software rejuvenation in a job processing system | IEEE Conference Publication | IEEE Xplore