Dependability models for designing disaster tolerant cloud computing systems | IEEE Conference Publication | IEEE Xplore