Priority inversion handling in microkernel-based Real-Time Mike | IEEE Conference Publication | IEEE Xplore