A Timing Verifier and Timing Profiler for Asynchronous Circuits. - Per Arne Karlsen; Per Torstein Røine (ASYNC, 1999)