Dabigatran Versus Warfarin in Patients With Atrial Fibrillation: An Analysis of Patients Undergoing Cardioversion