Rodosvisor — An ARINC 653 quasi-compliant hypervisor: CPU, memory and I/O virtualization | IEEE Conference Publication | IEEE Xplore