Formal Modelling and Validation of Rate-Adaptive Pacemakers. - Marta Z. Kwiatkowska; Harriet Lea-Banks; Alexandru Mereacre; Nicola Paoletti (ICHI, 2014)