Finite-element analysis of temperature rise and lesion formation from catheter ultrasound ablation transducers | IEEE Journals & Magazine | IEEE Xplore