The following list is sorted alphabetically by the first author's name:
Stefan Savage, Hideyuki Tokuda.
Real Time Mach: Exporting Time to the User.
This paper is scheduled to appear in the Proceedings of the Third
Usenix Mach Symposium(Machnix), April 19-21, 1993
Hideyuki Tokuda, Tatsuo Nakajima, Prithvi Rao.
Real-Time Mach: Towards Predictable Real-Time Systems.
Proceedings of the USENIX 1990 Mach Workshop, October 1990.
Hideyuki Tokuda and Tatsuo Nakajima.
Evaluation of Real-Time Synchronization in Real-Time Mach.
This paper appears in the proceedings for the USENIX 1991 Mach
Workshop, October 1991.