1. Ansys SCADE Suite: Model-Based Development Environment for Critical Embedded Software. https://www.ansys.com/en-in/products/embedded-software/ansys-scade-suite
2. ISO/IEC 9899:2018 Information technology—Programming languages—C. https://www.iso.org/standard/74528.html
3. Real-Time Systems (Pearson Education, London, 2000)
4. ARINC 653P0-3 avionics application software standard interface, Part 0, Overview, in ARINC Specification 653 (2021)
5. P. Cuoq, F. Kirchner, N. Kosmatov, V. Prevosto, J. Signoles, B. Yakobowski, Frama-C, in Software Engineering and Formal Methods, ed. by G. Eleftherakis, M. Hinchey, M. Holcombe (Springer, Berlin, 2012), pp. 233–247