Egida: an extensible toolkit for low-overhead fault-tolerance | IEEE Conference Publication | IEEE Xplore