Timing System for the Heavy-Ion Accelerator Facility | IEEE Conference Publication | IEEE Xplore