Mathematical modeling of impedance controlled radiofrequency tumor ablation and ex-vivo validation | IEEE Conference Publication | IEEE Xplore