Validation of RF catheter ablation models using basket electrodes | IEEE Conference Publication | IEEE Xplore