Optimizing software rejuvenation policy for tasks with periodic inspections and time limitation. (May 2020)