Operating system structure model for real-time systems. - Toshiro Kamiuchi; Hiroaki Nakanishi; Keijiro Hayashi (WORDS, 1996)