Analysis and optimization of service availability in a HA cluster with load-dependent machine availability | IEEE Journals & Magazine | IEEE Xplore