Analysis of an optimal stopping problem for software rejuvenation in a deteriorating job processing system.