Criticality-Aware EDF Scheduling for Constrained-Deadline Imprecise Mixed-Criticality Systems | Synapse