Dependence of timing resolution on crystal size for TOF PET