Formal Verification of Interrupt Injection in a Hypervisor | IEEE Conference Publication | IEEE Xplore