Costs and Benefits of Model-based Diagnosis | IEEE Conference Publication | IEEE Xplore