Model-Based System Engineering Framework for Superconducting Accelerator Magnet Design | IEEE Journals & Magazine | IEEE Xplore