Bio-inspired Hardware Central Pattern Generator (hCPG) as a Therapy for Cardiorespiratory Disease. - Ashok Chauhan; Le Zhao; Julian Paton; Alain Nogaret (BICT, 2015)

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)