Can we formally specify a medical decision support system? | IEEE Journals & Magazine | IEEE Xplore