Verification of Delay Co-Observability for Discrete Event Systems | IEEE Journals & Magazine | IEEE Xplore