Responsive and Enforced Interrupt Handling for Real-Time System Virtualization | IEEE Conference Publication | IEEE Xplore