Diagnosing an analog feedback system using model-based reasoning | IEEE Conference Publication | IEEE Xplore