Danny Dolev  Matthias Függer  Ulrich Schmid  and Christoph Lenzen. Fault-tolerant algorithms for tick-generation in asynchronous logic: Robust pulse generation. Journal of the ACM   61(5)  April 2014.