Improving OCBP-based scheduling for mixed-criticality sporadic task systems | IEEE Conference Publication | IEEE Xplore