A Characterization of t/s-Diagnosability an Sequential t-Diagnosability in Designs. - Joo-Kang Lee; Jon T. Butler (IEEE Trans. Computers, 1990)