1. AdaCore: GNATcheck Reference Manual,
http://www.adacore.com/wp-content/files/auto_update/asis-docs/gnatcheck_rm.html
2. ARINC: ARINC Specification 653, Avionics Application Software Standard Interface. Aeronautical Radio, Inc. (2005)
3. Barnes, J.: High Integrity Software. In: The SPARK Approach to Safety and Security. Addison Wesley (2003)
4. Comar, C., Kanig, J., Moy, Y.: Integrating formal program verification with testing. In: Proceedings of the Embedded Real Time Software and Systems Conference, ERTS2 2012 (February 2012)
5. Delmas, D., Cuoq, P., Lamiel, V.M., Duprat, S.: Fan-C, a Frama-C plug-in for data flow verification. In: Proceedings of the Embedded Real Time Software and Systems Conference, ERTS2 2012 (February 2012)