Quality criteria for realtime microkernel products. - Toshikazu Ohkubo; I. Takenaka; Tetsuo Wasano; M. Omiya (RTCSA, 1996)