Reasoning under Uncertainty for Overlay Fault Diagnosis | IEEE Journals & Magazine | IEEE Xplore