Integrating Linux and the real-time ERIKA OS through the Xen hypervisor | IEEE Conference Publication | IEEE Xplore