1. ECSS: ECSS-Q-80B Space Product Assurance — Software Product Assurance. Available from ESA (2003)
2. Rushby, J.: Partitioning for safety and security: Requirements, mechanisms, and assurance. NASA Contractor Report CR-1999-209347, NASA Langley Research Center (June 1999) Also to be issued by the FAA
3. Lecture Notes in Computer Science;S. Tucker Taft,2006
4. Lecture Notes in Computer Science;J.A. Pulido,2007
5. Zamorano, J., de la Puente, J.A., Hugues, J., Vardanega, T.: Run-time mechanisms for property preservation in high-integrity real-time systems. In: OSPERT 2007 — Workshop on Operating System Platforms for Embedded Real-Time Applications, Pisa. Italy (July 2007)