Peter A. Beerel Aiguo Xie Performance Analysis of Asynchronous Circuits Using Markov Chains. 313-344 2002 conf/ac/2002chd Concurrency and Hardware Design http://link.springer.de/link/service/series/0558/bibs/2549/25490313.htm db/conf/ac/chd2002.html#BeerelX02