1. Kim D (2001) Strongly partitioned system architecture for integration of real-time applications. Dissertation, University of Florida
2. Tokar JL (2003) Space & time partitioning with ARINC 653 and pragma profile. In: IRTAW’03: Proceedings of the 12th international workshop on Real-time Ada. ACM, New York. ISSN:1094-3641
3. Rushby J (1981) Design and verification of secure systems. In: The 8th ACM symposium on operating system principles, Pacific Grove, California, 14–16 December 1981. ACM Operating systems review, vol 15, no 5, pp 12–21
4. Vanfleet MW, Luke JA et al (2005) MILS: architecture for high-assurance embedded computing. J Def Softw Eng 18(8):12–16
5. Scott Harrison W, Hanebutte N et al (2005) The MILS architecture for a secure global information grid. J Def Softw Eng 18(10):20–24