Towards Assurance of Availability in Virtualized Cloud System | IEEE Conference Publication | IEEE Xplore