The Palm-Sized Cryoprobe System Based on Refrigerant Expansion and Boiling and Its Application to an Animal Model of Epilepsy | IEEE Journals & Magazine | IEEE Xplore