A Markov Chain-based Availability Model of Virtual Cluster Nodes | IEEE Conference Publication | IEEE Xplore