Fault detection for sequential machines by transitions tours (1981)

by S Naito, M Tsunoyama
Venue:In Proceedings of the IEEE Fault Tolerant Computer Symposium