Concurrent error detection using monitoring machines | IEEE Journals & Magazine | IEEE Xplore