Boolean minimization and algebraic factorization procedures for fully testable sequential machines | IEEE Conference Publication | IEEE Xplore