Active Diagnosis of Time-Interval Automata: Time Perspectives | IEEE Journals & Magazine | IEEE Xplore