Finite-Element Analysis of Hepatic Cryoablation Around a Large Blood Vessel | IEEE Journals & Magazine | IEEE Xplore