Modeling of Cooling System for High-temperature Superconducting Cables | IEEE Conference Publication | IEEE Xplore