On Partitioned Scheduling of Fixed-Priority Mixed-Criticality Task Sets | IEEE Conference Publication | IEEE Xplore