C. R. Spitzer, U. Ferrell, T. Ferrell, and P. J. Prisaznuk, Avionics Application Software Standard Interface, Digital Avionics Handbook, pp.625-632, 2014.

J. P. Paul, ARINC 653 role in integrated modular avionics (IMA), 27th Digital Avionics System Conference Proceedings, 2008.

O. S. Initiative, IEEE standard SystemC language reference manual, IEEE Comput. Soc, pp.1666-2005, 2006.

C. Schumacher, J. H. Weinstock, R. Leupers, and G. Ascheid, SCandal: SystemC analysis for nondeterminism anomalies, Specification and Design Languages (FDL), 2012 Forum on, pp.112-119, 2012.

R. Buchmann, F. Petrot, and A. Greiner, Fast cycle accurate simulator to simulate event-driven behavior, International Conference on Electrical, Electronic and Computer Engineering, 2004. ICEEC '04., pp.35-38, 2004.
DOI : 10.1109/ICEEC.2004.1374374

J. Delange and L. Lec, POK, an ARINC653-compliant operating system released under the BSD license, 13th Real- Time Linux Workshop, 2011.