Fault secure property versus strongly code disjoint checkers | IEEE Journals & Magazine | IEEE Xplore