Diagnosis of Dense-Time Systems Under Event and Timing Masks | IEEE Journals & Magazine | IEEE Xplore