An evaluation of a DO-178A software development process | IEEE Conference Publication | IEEE Xplore