Requirement Based Coverage Analysis in DO-178C Compliant Software Development Projects | IEEE Conference Publication | IEEE Xplore