Mixed-Criticality Scheduling in Compositional Real-Time Systems with Multiple Budget Estimates | IEEE Conference Publication | IEEE Xplore