The superconducting magnet system of AMS-02 - a particle physics detector to be operated on the International Space Station | IEEE Journals & Magazine | IEEE Xplore