A graphical framework for stochastic model-based diagnosis | IEEE Conference Publication | IEEE Xplore