Synthesis of fully testable sequential machinesR. ThomasSandip Kundu1992European Conference on Design Automation 1992