PRIDE: an integrated architecture and toolset for industrial model-based diagnosis | IEEE Conference Publication | IEEE Xplore