[1] Symbian http://www.symbian.com/technology/SymbianOSv7funcdesc15.pdf 
[2] Palm OS http://www.palmsource.com/includes/palmos5.pdf 
[3] Linux http://www.linux.org 
[4] Windows http://www.microsoft.com/windows 
[5] Windows CE http://www.microsoft.com/windows/embedded/ce.net/default.asp 
[6] CE-Linux http://www.celinuxforum.org 
[7] RT-Linux http://www.fsmlabs.com/products/openrtlinux 
[8] Raj Rajkumar, Kanaka Juvva, Anastasio Molano, Shui Oikawa. Resource Kernels: A Resource-Centric Approach to Real-Time Systems In Proceedings of the SPIE/ACM Conference on Multimedia Computing and Networking, January 1998 
[9] Trusted Computing Group. http://www.trustedpc.org 
[10] ARM. TrustZone. http://www.arm.com/trustzone?opendocument.html 
[11] Intel LaGrande http://www.intel.com/technology/security/downloads/LT_Arch_Overview.pdf 
[12] Microsoft Palladium / NGSCB. http://www.microsoft.com/resources/ngscb/productinfo.mspx 
[13] VMWare http://www.vmware.com 
[14] IBM Virtual Machine Facility /370: Release 2 Planning Guide. Technical Report GC20-1814-0, IBM Corporation, 1973. 
[15] R. Rashid, D. Julin, D. Orr, R. Sanzi, R. Baron, A. Forin, D. Golub, and M. Jones: Mach: a system software kernel. COMPCON, Spring 1989, pp. 176-178 
[16] M. Guillemont. The Chorus Distributed Operating System: Design and Implementation. In Proceedings of the ACM International Symposium on Local Computer Networks, April 1982, pp. 207-223. 
[17] D. R. Engler, M. F. Kaashoek, and J. O'Toole Jr.: Exokernel: an operating system architecture for applicationspecific resource management.
[18] B. N. Bershad, C. Chambers, S. Eggers, C. Maeda, D. McNamee, P. Pardyak, and S. Savage amd E.G. Sirer. SPIN: An extensible microkernel for application-specific operating system services. In the ACM SIGOPS European Workshop, pp. 68-71, 1994. 
[19] Jaluna http://www.jaluna.com 
[20] J. Liedtke. On microkernel construction. In the 15th ACM Symposium on Operating System Principles, 1995. 
[21] J. Liedtke. Microkernels can and must be small. In 5th IEEE International Workshop on Object-Orientation in Operating Systems (IWOOOS), October 1996 
[22] J. Liedtke. Towards Real -kernels. In the Communications of the ACM 39(9), pp 70-77, Sept 1996. 
[23] H. Hrtig, M. Hohmuth, J. Liedtke, S. Schnberg, J. Wolter. The Performance of -Kernel-based Systems. In the 16th ACM Symposium on Operating System Principles, 1997. 
[24] L4 Linux http://os.inf.tu-dresden.de/L4/LinuxOnL4 
[25] H. Hrtig, M. Hohmuth, J. Wolter: Taming Linux, 1998 
[26] H. Hrtig. Security Architectures Revisited. In the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, Sept 2002. 
[27] *** This space for rent *** (Sebastian s RTSS paper) 
[28] F. Mehnert, M. Hohmuth, H. Hrtig: Cost and benefit of separate address spaces in real-time operating systems In the Proceedings of the 23th IEEE Real-Time Systems Symposium (RTSS-XXIII), 2002, Austin, TX, USA 
[29] L. Reuther, M. Pohlack: Rotational-Position-Aware Real-Time Disk Scheduling Using a Dynamic Active Subset (DAS) In the Proceedings of the 24th IEEE Real-Time Systems Symposium (RTSS 2003), 2003, Cancun, Mexico 
[30] J. Liedtke, H. Hrtig, M. Hohmuth: OS-Controlled Cache Predictability for Real-Time Systems. In the Proceedings of the 3rd IEEE Real-time Technology and Applications Symposium (RTAS'97), June 9-11, 1997, Montreal, Canada 
[31] Object Management Group: The Common Object Request Broker: Architecture and Specification, Minor revision 2.3.1, OMG TC Document formal/99-10-07, Framingham, MA, USA, 1999. 
[32] Java http://java.sun.com 
[33] EJB http://java.sun.com/products/ejb 
[34] F. Mrillon, L. Rveillre, C. Consel, R. Marlet, and G. Muller. Devil: An IDL for Hardware Programming. In Proceedings of the Fourth Symposium on Operating Systems Design and Implementation, San Diego, California, pp. 17-30, October 2000. 
[35] Object Web web pages http://www.objectweb.org 
[36] UML http://www.uml.org 
[37] *** This space for rent *** (CMU bug study) 
[38] A. K. Atlas, A. Bestavros: Statistical Rate Monotonic Scheduling. In IEEE Real-Time Systems Symposium, IEEE Computer Society Press, 1998 
[39] C.-J. Hamann, J. Lser, L. Reuther, S. Schnberg, J. Wolter, H. Hrtig: Quality-Assuring Scheduling Using Stochastic Behavior to Improve Resource Utilization, 2001 
[40] F. Plasil, S. Visnovsky: Behavior Protocols for Software Components. In IEEE Transactions on Software Engineering, Vol. 28, No. 11, November 2002. 
[41] N. Weiderman. Hartstone: Synthetic Benchmark Requirements for Hard Real-Time Applications. Technical Report, CMU/SEI-89-TR-23, June 1989. 
[42] P. Tuma, A. Buble. Open CORBA Benchmarking, In Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS 2001), SCS, July 2001.
[43] SOFA http://nenya.ms.mff.cuni.cz/projects/sofa/tools/doc/compmodel.html 
[44] Pepita http://pepita.objectweb.org 
[45] B. Leslie, G. Heiser. Towards Untrusted Device Drivers. Technical Report UNSW-CSE-TR-0307, May 2003. 
[46] George C. Necula, Peter Lee: Safe Kernel Extensions Without Run-Time Checking. In Second Symposium on Operating System Design and Implementation (OSDI '96), 1996. 
[47] SysGo. http://www.sysgo.de 
[48] Montavista http://www.mvista.com 
[49] A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler: An empirical study of operating systems errors. In Proceedings of the 18th ACM Symposium on Operating Systems Principles (SOSP), pages 73-88, 2001 
[50] N. Feske, H. Hrtig. DOPE ********* 
[51] D. Graham-Rowe. Enjoy It While You Can. In the ACM newsletter New Scientists, vol 180, no. 2415, page 30, April 2003 http://www.acm.org/technews/articles/2003-5/1010f.html#item17