Animal models for atrial fibrillation: clinical insights and scientific opportunities | Synapse