Formal Modelling and Validation of Rate-Adaptive Pacemakers | IEEE Conference Publication | IEEE Xplore