@inproceedings{CDKM12b,
  author    = {Taolue Chen and
               Marco Diciolla and
               Marta Z. Kwiatkowska and
               Alexandru Mereacre},
  title     = {Quantitative Verification of Implantable Cardiac Pacemakers},
  booktitle = {RTSS},
  year      = {2012},
  pages     = {263-272}
}