Gravar-mail: Thermodynamic properties of atrial fibrillation cryoablation: a model-based approach to improve knowledge on energy delivery