Safety reasoning in medical decision support | IET Conference Publication | IEEE Xplore