Efficient Virtualization-Based Fault Tolerance | IEEE Conference Publication | IEEE Xplore