Mixed-Criticality Systems as a Service for Non-critical Tasks | IEEE Conference Publication | IEEE Xplore