Formal Design Methods for Reliable Computer-Aided Diagnosis: A Review | IEEE Journals & Magazine | IEEE Xplore