VMFDF: A Virtualization-based Multi-Level Fault Detection Framework for High Availability Computing | IEEE Conference Publication | IEEE Xplore