Simulation-Based Verification of Cardiac Pacemakers With Guaranteed Coverage | IEEE Journals & Magazine | IEEE Xplore