Electromagnetic Design of a 16–9 T High Field Double Superconducting Magnets System for Nuclear Demagnetization Refrigerator | IEEE Journals & Magazine | IEEE Xplore