Priority inversion handling in microkernel-based Real-Time Mike. - Jaehong Shim; Kyunghee Choi; Gihyun Jung; Seungkyu Park; HyeonSik Shin; Dongyoon Kim (RTCSA, 1996)