Diagnosis of Systems with Asymmetric Invalidation | IEEE Journals & Magazine | IEEE Xplore