Perfect failure detection in timed asynchronous systems | IEEE Journals & Magazine | IEEE Xplore