Universal Verification Methodology Application of ARINC-429 for Airborne Electronic Hardware Certification | IEEE Conference Publication | IEEE Xplore