RT-IPC: An IPC Extension for Real-Time Mach.

Published in: USENIX Microkernels and Other Kernel Architectures Symposium (1993)