Formal analysis of diagnostic notions | IEEE Conference Publication | IEEE Xplore