A 19.5 ps-LSB Vernier-type Time-to-digital Converter for PET