A synthesis and optimization procedure for fully and easily testable sequential machines | IEEE Journals & Magazine | IEEE Xplore