Hypothesis generation in conflict based diagnosis | IEEE Conference Publication | IEEE Xplore