EDF-VD Scheduling of Flexible Mixed-Criticality System With Multiple-Shot Transitions | IEEE Journals & Magazine | IEEE Xplore