REPAIR: a model-based diagnosis system | IET Conference Publication | IEEE Xplore