T. Ohkubo, I. Takenaka, T. Wasano, M. Omiya. Quality criteria for realtime microkernel products. In Third International Workshop on Real-Time Computing Systems Application (RTCSA 96), October 30 - November 01, 1996, Seoul, Korea. pages 254-260, IEEE Computer Society, 1996. [doi]
Abstract is missing.