Risk-based alternatives to the DO-178C software design assurance process | IEEE Conference Publication | IEEE Xplore