Integrating Linux and the real-time ERIKA OS through the Xen hypervisor. - Arianna Avanzini; Paolo Valente; Dario Faggioli; Paolo Gai (SIES, 2015)