@inproceedings{kwiatkowska2014quantitative,
  title={On quantitative software quality assurance methodologies for cardiac pacemakers},
  author={Kwiatkowska, Marta and Mereacre, Alexandru and Paoletti, Nicola},
  booktitle={International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014)},
  pages={365--384},
  year={2014},
  organization={Springer},
  url = {https://link.springer.com/chapter/10.1007/978-3-662-45231-8_27},
  doi = {10.1007/978-3-662-45231-8_27}
}