[1] Abrossimov, E., Rozier, M., and Shapiro, M., "Generic virtual memory management for operating system kernels," in Proceedings of the twelfth ACM symposium on Operating systems principles, 1989, pp. 123–136.

[2] United States Department of Defense, Department Of Defense Trusted Computer System Evaluation Criteria, 1985.

[3] Ramamritham, K., Stankovic, J.A., "Scheduling algorithms and operating systems support for real-time systems," in Proceedings of the IEEE, January 1994, pp. 55–67.

[4] Kuhns, F., Schmidt, D., Levine, D., "The Design and Performance of a Real-time I/O Subsystem," in Proceedings of the Fifth IEEE Real-Time Technology and Applications Symposium, June 1999, pp.154–163.

[5] Falco, J, Gilsinn, J., and, Stouffer, K., "IT Security for Industrial Control Systems: Requirements Specification and Performance Testing," 2004 NDIA Homeland Security Symposium & Exhibition.

[6] Trusted Computing Group, at http://www.trustedcomputinggroup.org*.