Focusing fault localization in model-based diagnosis with case-based reasoning | Publicación