Granular formalization of medical diagnostic process | IEEE Conference Publication | IEEE Xplore