Verification scenarios of onboard databases under the RTCA DO-178C and the RTCA DO-200B | IEEE Conference Publication | IEEE Xplore