Christoph M. Kirsch, Marco A. A. Sanvido, Thomas A. Henzinger. A programmable microkernel for real-time systems. In Michael Hind, Jan Vitek, editors, Proceedings of the 1st International Conference on Virtual Execution Environments, VEE 2005, Chicago, IL, USA, June 11-12, 2005. pages 35-45, ACM, 2005. [doi]
Abstract is missing.