Scheduling of mixed-criticality systems with RUN | IEEE Conference Publication | IEEE Xplore