Partitioned mixed-criticality scheduling on multiprocessor platforms | IEEE Conference Publication | IEEE Xplore