Design of a real-time virtual machine (RTVM) | IEEE Conference Publication | IEEE Xplore