Scheduling real-time mixed-criticality jobs