Transmission-less attenuation correction in time-of-flight PET: analysis of a discrete iterative algorithm | Synapse