The FAA handbook on microprocessor selection and evaluation in airborne systems | IEEE Conference Publication | IEEE Xplore