DO-178B and CAST papers for Avionics Software Development