A Matheematical Model for Positron-Emission Tomography Systems Having Time-of-Flight Measurements | Synapse