A case-study application of RTCA DO-254: design assurance guidance for airborne electronic hardware | IEEE Conference Publication | IEEE Xplore