A hybrid time-to-digital converter based on residual time extraction and amplification. (May 2017)