A dynamic scheduling algorithm with minimum context switches for spacecraft avionics systems | IEEE Conference Publication | IEEE Xplore