Match-up scheduling of mixed-criticality jobs: maximizing the probability of jobs execution.