Design, Implementation and Verification of an eXtensible and Modular Hypervisor Framework | IEEE Conference Publication | IEEE Xplore