Development and validation of a simulation model for the design of a PET scanner | IEEE Journals & Magazine | IEEE Xplore