PIL: A Method to Improve Interrupt Latency in Real-Time Kernels | IEEE Conference Publication | IEEE Xplore