Modeling and evaluation of mixed redundancy strategy with instant switching in cloud-based systems | IEEE Conference Publication | IEEE Xplore