Frank Mueller Viresh Rustagi Ted Baker MiThOS - A Real-Time Micro-Kernel Threads Operating System. 49-55 1995 IEEE Real-Time Systems Symposium db/conf/rtss/rtss1995.html#MuellerRB95