Syed Zahoor Hassan An Efficient Self-Test Structure for Sequential Machines. 12-17 1986 conf/itc/1986 ITC db/conf/itc/itc1986.html#Hassan86