Survivable self-checking sequential circuits | IEEE Conference Publication | IEEE Xplore