Proof of violation for availability in cloud systems | IEEE Conference Publication | IEEE Xplore