Fault detection for sequential machines by transitions tours (1981)

by S Naito, M Tsunoyama
Venue:Proc. IEEE Fault Tolerant Comput. Symp., IEEE Computer