Realizing services for guaranteed-QoS communication on a microkernel operating system | IEEE Conference Publication | IEEE Xplore