Task Mapping and Partition Allocation for Mixed-Criticality Real-Time Systems | IEEE Conference Publication | IEEE Xplore