Modeling and Evaluation of Pre-Copy Live VM Migration Using Probabilistic Model Checking. - Abul Bashar; Nazeeruddin Mohammad; Shahabuddin Muhammed (ICSPCS, 2018)