Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure. - Moon Soo Kim; Weiwei Ai; Partha S. Roop; Nathan Allen; Rohit Ramchandra; Julian Paton (MEMOCODE, 2020)