Architectural considerations in the design of real-time kernels | IEEE Conference Publication | IEEE Xplore