Jo C. Ebergen Ad M. G. Peeters Modulo-N Counters: Design and Analysis of Delay-Insensitive Circuits. 27-46 1992 conf/ifip10-2/1992a Designing Correct Circuits db/conf/ifip10-2/ifip10-2-1992a.html#EbergenP92