On-board task scheduling algorithm for spacecraft | IEEE Conference Publication | IEEE Xplore