Implantable defibrillator with high-output pacing function after defibrillation | IEEE Journals & Magazine | IEEE Xplore