Spallation Neutron Source Drift Tube Linac Resonance Control Cooling System Modeling | IEEE Conference Publication | IEEE Xplore