Modeling Defibrillation of the Heart: Approaches and Insights | IEEE Journals & Magazine | IEEE Xplore