Single output distributed two-rail checker with diagnosing capabilities for bus based self-checking architectures | IEEE Conference Publication | IEEE Xplore