1. Bhatt D., Madl G., Oglesby D., Schloegel K.: Towards scalable verification of commercial avionics software. In: Proceedings of the AIAA Infotech@Aerospace Conference, April 2010
2. Dutertre, B., Stavridou, V.: A model of non-interference for integrating mixed-criticality software component. In: Weinstock, C., Rushby, J. (eds.) DCCA, vol. 112, pp. 301–316 (2008)
3. RTCA Inc., Document RTCA/DO-178B. Federal Aviation Administration, January 11, Advisory Circular 20–115B (1993)
4. Paulitsch, M., Ruess, H., Sorea, M.: Non-functional avionics requirements communications in computer and information. Sci. 17, 369–384 (2009)
5. IFIP Advances in Information and Communication Technology;G Durrieu,2004