Understanding DO-178C Software Certification: Benefits Versus Costs | IEEE Conference Publication | IEEE Xplore