Synthesis of fully testable sequential machines. - Roy Thomas; Sandip Kundu (EURO-DAC, 1991)