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