Structured specification of a computer assisted medical diagnostic system | IEEE Conference Publication | IEEE Xplore