MODEST: a model-based diagnostic expert system | IEEE Conference Publication | IEEE Xplore