Mixed-Criticality scheduling of sporadic task systems