Towards Mixed-Critical Real-time Scheduling | IEEE Conference Publication | IEEE Xplore