Priority Re-assignment for Improving Schedulability and Mixed-Criticality of ARINC 664 | IEEE Conference Publication | IEEE Xplore