John A. McPherson Charles R. Kime A Two-Level Diagnostic Model for Digital Systems. 16-27 1979 28 IEEE Trans. Computers 1 db/journals/tc/tc28.html#McPhersonK79