Probabilistic model for evaluating a proactive fault tolerance approach in the cloud | IEEE Conference Publication | IEEE Xplore