A Matheematical Model for Positron-Emission Tomography Systems Having Time-of-Flight Measurements | IEEE Journals & Magazine | IEEE Xplore