Proteus Hypervisor: Full Virtualization and Paravirtualization for Multi-core Embedded Systems. - Katharina Gilles; Stefan Groesbrink; Daniel Baldin; Timo Kerstan (IESS, 2013)