Device logic simulations for predicting rate behavior in a cardiosynchronous myostimulator | IEEE Conference Publication | IEEE Xplore