Software certification of safety-critical avionic systems: DO-178C and its impacts | IEEE Journals & Magazine | IEEE Xplore