Modeling and Evaluation of Pre-Copy Live VM Migration Using Probabilistic Model Checking | IEEE Conference Publication | IEEE Xplore