Analysis of service availability for time-triggered rejuvenation policies