Hardware-Based I/O Virtualization for Mixed Criticality Real-Time Systems Using PCIe SR-IOV | IEEE Conference Publication | IEEE Xplore