1. Real-time Systems: Design Principles for Distributed Embedded Applications;Kopetz,2011
2. Composability and predictability for independent application development, verification, and execution;Akesson,2010
3. Avionics Application Software Standard Interface, Design Guidance for Integrated Modular Avionics, 1997.
4. Avionics Application Software Standard Interface, ARINC Specification 653P1-2, 2005.
5. J. Rufino, J. Craveiro, T. Schoofs, C. Tatibana, J. Windsor, AIR technology: a step towards ARINC 653 in space, in: Proc. DASIA, 2009.