Closing the Loop: Validation of Implantable Cardiac Devices With Computational Heart Models | IEEE Journals & Magazine | IEEE Xplore