25 ps resolution, 12-bit, 64 channel FASTBUS time-to-digital converter | IEEE Journals & Magazine | IEEE Xplore