Verification of Pattern–Pattern Diagnosability in Partially Observed Discrete Event Systems | IEEE Journals & Magazine | IEEE Xplore