A Stochastic Reward Net Approach to model availability of cloud virtualization | IEEE Conference Publication | IEEE Xplore