In-Silico Trials With Human Modelling And Simulation For Guiding Optimal Stratification Of Atrial Fibrillation Patients To Catheter Ablation And Pharmacological Therapy