Gupta, 1987. Hardware Diagnosis as Program Debugging, in: .