Partitioned Scheduling With Shared Resources on Imprecise Mixed-Criticality Multiprocessor Systems | IEEE Journals & Magazine | IEEE Xplore