Fault diagnosis in discrete-event systems: incorporating timing information | IEEE Journals & Magazine | IEEE Xplore