ReSoFT: a reusable testbed for development and evaluation of software fault-tolerant systems | IEEE Conference Publication | IEEE Xplore