On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers - Kwiatkowska, M; Mereacre, A; Paoletti, N (Springer, 2014)