Necessary Feasibility Analysis for Mixed-Criticality Task Systems on Uniprocessor | IEEE Conference Publication | IEEE Xplore