Geant4 simulation of production and interaction of muons | IEEE Journals & Magazine | IEEE Xplore