1. Rushby, J.: Partitioning for avionics architectures: Requirements, mechanisms, and assurance. NASA Contractor Report CR-1999-209347, NASA Langley Research Center (1999)
2. Airlines Electronic Engineering: ARINC Specification 653 (2003)
3. Alves-Foss, J., Harrison, W.S., Oman, P., Taylor, C.: The MILS Architecture for High-Assurance Embedded Systems. International journal of embedded systems (2005)
4. National Institute of Standards and Technology (NIST): The economic impacts of inadequate infrastructure for software testing. Technical report (2002)
5. SAE: Architecture Analysis & Design Language v2.0 (AS5506) (September 2008)