A high resolution TDC in TKO box system | IEEE Journals & Magazine | IEEE Xplore