Design error diagnosis in digital circuits with stuck-at fault modelJutman, Artur; Ubar, Raimund-JohannesMicroelectronics reliability2000 / p. 307-320 : ill https://doi.org/10.1016/S0026-2714(99)00203-6