Timing verification for asynchronous design. - Rhodri M. Davies; John V. Woods (EURO-DAC, 1996)