Muon Shielding for a 500-GeV Neutrino Facility | IEEE Journals & Magazine | IEEE Xplore