A Model- Based Approach to Automatic Diagnosis Using General Purpose Circuit Simulators | IEEE Conference Publication | IEEE Xplore