Cardiac Electrical Modeling for Closed-Loop Validation of Implantable Devices | IEEE Journals & Magazine | IEEE Xplore