Availability Assessment of HA Standby Redundant Clusters