Towards patient-specific modelling of lesion formation during radiofrequency catheter ablation for atrial fibrillation | IEEE Conference Publication | IEEE Xplore