Quantitative Analysis of ARINC-653 Scheduling Overheads on Multi-Core Systems | IEEE Conference Publication | IEEE Xplore