1. B. Behlendorf, S. Bradner, J. Hamerly, K. Mckusick, T. O’Reilly, T. Paquin, B. Perens, E. Raymond, R. Stallman, M. Tiemann, L. Torvalds, P. Vixie, L. Wall, and B. Young. Open Sources: Voices from the Open Source Revolution. O’Reilly, February 1999.
2. C. Ditze. Towards Operating System Synthesis. Phd thesis, Department of Computer Science, Paderborn University, Paderborn, Germany, 1999.
3. D. Hildebrand. A microkernel posix os for realtime embedded systems. In Proceedings of the Embedded Computer Conference and Exposition 1993, page 1601, Santa Clara, april 1993.
4. D. E. Knuth. The art of computer programming, volume 1
(3rd ed.): fundamental algorithms. Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, USA, 1997.
5. J. A. Stankovic and R. Rajkumar. Real-time operating systems. Real-Time Syst., 28(2-3):237-253, 2004.