Cellular automata based synthesis of easily and fully testable FSMs. - Dipanwita Roy Chowdhury; Supratik Chakraborty; B. Vamsi; B. Pal Chaudhuri (ICCAD, 1993)