The handbook addresses the DO-178C / ED-12C standards suite, providing insights into how the Ada and SPARK languages, can help customers develop and verify airborne software. The handbook can be downloaded from
http://www.adacore.com/press/handbook-do-178c-ed-12c-guidance/.