The New RTCA/EUROCAE Document on Integrated Modular Avionics Development and Certification | IEEE Conference Publication | IEEE Xplore