Mission scheduling for spacecraft: the diaries of T-SCHED | IET Conference Publication | IEEE Xplore