OS debugging method using a lightweight virtual machine monitor | IEEE Conference Publication | IEEE Xplore