R. Thomas, S. Kundu. Synthesis of fully testable sequential machines. In Tony Ambler, Jochen A. G. Jess, Hugo De Man, editors, Proceedings of the conference on European design automation, EURO-DAC'91, Amsterdam, The Netherlands, 1991. pages 283-288, EEE Computer Society, 1991. [doi]
Abstract is missing.