Non-preemptive interrupt scheduling for safe reuse of legacy drivers in real-time systems | IEEE Conference Publication | IEEE Xplore