MiThOS-a real-time micro-kernel threads operating system | IEEE Conference Publication | IEEE Xplore