1. Green Hills Software (2008) Integrity, the most advanced RTOS technology. Technical report, Green Hills software vol 61, p 191
2. Klein G et al (2009) sel4: formal verification of an OS kernel. Technical report, p 191
3. Vogt D, Döbel B, Lackorzynski A (2010) Stay strong, stay safe: enhancing reliability of a secure operating system. In: Proceedings of the workshop on isolation and integration for dependable systems (IIDS 2010), Paris, France, April 2010, New York, NY, USA. ACM, p 192
4. Lackorzynski A, Warg A (2009) Taming subsystems: capabilities as universal resource access control in l4. In: Proceedings of the second workshop on isolation and integration in embedded systems, IIES’09, New York, NY, USA. ACM, pp 25–30, 192
5. Tanenbaum A (2006) Reorganizing Unix for reliability. In: Proceedings 11th Asia–Pacific, pp 81–94, 192