Simulation and verification of pacemaker antennas | IEEE Conference Publication | IEEE Xplore