A Stochastic Availability Prediction Model for Head Nodes in the HA Cluster | IEEE Conference Publication | IEEE Xplore