Extending ExSched with Mixed Criticality Support — An Experience Report | IEEE Conference Publication | IEEE Xplore