TFT: a software system for application-transparent fault tolerance | IEEE Conference Publication | IEEE Xplore