Multi-level test generation and fault diagnosis in digital systems
Ubar, Raimund-Johannes
1992