How Does an Implantable Defibrillator Work?