Formal Modelling and Validation of Rate−Adaptive Pacemakers (IEEE International Conference on Healthcare Informatics (ICHI)‚ to appear, 2014)

(untitled) - Kwiatkowska, M; Lea−Banks, H; Mereacre, A; Paoletti, N