The GSI event-driven TDC with 4 channels GET4 | IEEE Conference Publication | IEEE Xplore