@inproceedings{KMP14,
author={M. Kwiatkowska, A. Mereacre, and N. Paoletti},
title={On Quantitative Software Quality Assurance Methodologies for Cardiac Pacemakers},
booktitle={Proc. 6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)},
series={LNCS},
publisher={Springer},
volume    = {8803},
pages = {365--384},
year={2014}
}