Model-based diagnosis for industrial applications | IET Conference Publication | IEEE Xplore