@InProceedings{kwiatkowska_et_al:OASIcs:2014:4531,
  author ={Marta Kwiatkowska and Alexandru Mereacre},
  title ={{Automated Verification of Quantitative Properties of Cardiac Pacemaker Software}},
  booktitle ={5th Workshop on Medical Cyber-Physical Systems},
  pages ={137--140},
  series ={OpenAccess Series in Informatics (OASIcs)},
  ISBN ={978-3-939897-66-8},
  ISSN ={2190-6807},
  year ={2014},
  volume ={36},
  editor ={Volker Turau and Marta Kwiatkowska and Rahul Mangharam and Christoph Weyer},
  publisher ={Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address ={Dagstuhl, Germany},
  URL ={http://drops.dagstuhl.de/opus/volltexte/2014/4531},
  URN ={urn:nbn:de:0030-drops-45317},
  doi ={http://dx.doi.org/10.4230/OASIcs.MCPS.2014.137},
  annote ={Keywords: Pacemakers, Verification, Simulink}
}