Hardware-Based I/O Virtualization for Mixed Criticality Real-Time Systems Using PCIe SR-IOV. - Daniel Münch; Ole Isfort; Kevin Mueller; Michael Paulitsch; Andreas Herkersdorf (CSE, 2013)