Mathematical modeling of pacemaker for study of battery longevity | IEEE Conference Publication | IEEE Xplore