EFFICAS II: optimization of catheter contact force improves outcome of pulmonary vein isolation for paroxysmal atrial fibrillation | Synapse