A gaseous muon detector at the HERA-B experiment | IEEE Journals & Magazine | IEEE Xplore