Symbolic verification of timed asynchronous hardware protocols | IEEE Conference Publication | IEEE Xplore