Papadantonakis, Karl Spyros (2006) Rigorous analog verification of asynchronous circuits. Dissertation (Ph.D.), California Institute of Technology. http://resolver.caltech.edu/CaltechETD:etd-01132006-152609