The HL-LHC Low-β Quadrupole Magnet MQXF: From Short Models to Long Prototypes | IEEE Journals & Magazine | IEEE Xplore