Comparisons and analyses between RTCA DO-178B and GJB5000A, and integration of software process control | IEEE Conference Publication | IEEE Xplore