REACT: a synthesis and evaluation tool for fault-tolerant multiprocessor architectures | IEEE Conference Publication | IEEE Xplore