Progress in real-time fault tolerance | IEEE Conference Publication | IEEE Xplore