Timing Verification of GasP Asynchronous Circuits: Predicted Delay Variations Observed by Experiment.
P. Joshi, P. Beerel, M. Roncken, and I. Sutherland. Concurrency, Compositionality, and Correctness, volume 5930 of Lecture Notes in Computer Science, page 260-276. Springer, (2010)