Distributed Fault Diagnosis in Discrete Event Systems via Set Intersection Refinements | IEEE Journals & Magazine | IEEE Xplore