A 32 bit, high resolution, asynchronous time to digital converter for space instruments | IEEE Conference Publication | IEEE Xplore