Design assurance for airborne COTS hardware | IET Conference Publication | IEEE Xplore