Validation of a PET Monte-Carlo simulator with random events and dead time modeling | IEEE Conference Publication | IEEE Xplore