Model-based fault diagnosis of sequential circuits and its acceleration. - Benjamin Rogel-Favila; Antony Wakeling; Peter Y. K. Cheung (EURO-DAC, 1991)