Validation of a computational model of cardiac defibrillation | IEEE Conference Publication | IEEE Xplore