Formally verified on-line diagnosis | IEEE Journals & Magazine | IEEE Xplore