%0 Journal Article %T Modeling and Analysis of High Availability Techniques in a Virtualized System %A Chang, Xiaolin %A Wang, Tianju %A Rodríguez, Ricardo J %A Zhang, Zhenjiang %J The Computer Journal %V 61 %N 2 %P 180-198 %@ 0010-4620 %D 2018-02-01 %I Oxford University Press %~ DeepDyve