A formal approach to clinical decision making and patient management | IET Conference Publication | IEEE Xplore