Availability analysis of software rejuvenation in active/standby cluster system. (1st December 2014)