Atrioventricular Junction Ablation and Biventricular Pacing for Atrial Fibrillation and Heart Failure | NCT02137187 | Trialant