Availability models for hyper-converged cloud computing infrastructures | IEEE Conference Publication | IEEE Xplore