Flight Safety Certification Implications for Complex Multi-Core Processor Based Avionics Systems | IEEE Conference Publication | IEEE Xplore