Design assurance evaluation of microcontrollers for safety critical avionics | IEEE Conference Publication | IEEE Xplore