Quality criteria for realtime microkernel products | IEEE Conference Publication | IEEE Xplore