Implementation and verification of sinoatrial node math model | IEEE Conference Publication | IEEE Xplore