A multiprocessor scheduling algorithm for low overhead fault-tolerance | IEEE Conference Publication | IEEE Xplore