A Reconfigurable Time-to-Digital Converter based on Pulse Stretcher and Gated Delay Line | IEEE Conference Publication | IEEE Xplore