FPGA-based time-to-digital converter for time-of-flight PET detector | IEEE Conference Publication | IEEE Xplore