Douglas M. Blough Gerald M. Masson Performance Analysis of a Generalized Concurrent Error Detection Procedure. 47-62 1990 39 IEEE Trans. Computers 1 db/journals/tc/tc39.html#BloughM90