Validation of a PET Monte-Carlo simulator with random events and dead time modeling | IEEE Journals & Magazine | IEEE Xplore