A characterization of t/s-diagnosability and sequential t-diagnosability in designs | IEEE Journals & Magazine | IEEE Xplore