The use of preemptive priority-based scheduling for space applications | IEEE Conference Publication | IEEE Xplore