Focusing fault localization in model-based diagnosis with case-based reasoning | IEEE Conference Publication | IEEE Xplore