Testability of asynchronous timed control circuits with delay assumptions | IEEE Conference Publication | IEEE Xplore