Performance Modeling of Concurrent Live Migration Operations in Cloud Computing Systems Using PRISM Probabilistic Model Checker | IEEE Conference Publication | IEEE Xplore