A State-of-the-Art Survey on Real-Time Issues in Embedded Systems Virtualization
Scheduling I/O in virtual machine monitors