A Case for High Availability in a Virtualized Environment (HAVEN) | IEEE Conference Publication | IEEE Xplore