publication venue for Automated external defibrillator documented degeneration of pre-excited atrial fibrillation into ventricular fibrillation 2013