@inproceedings{BKMPP15,
  title = "Hardware-in-the-loop simulation and energy optimization of cardiac pacemakers",
  author = "Barker, Chris and Kwiatkowska, Marta and Mereacre, Alexandru and Paoletti, Nicola and Patan\`e, Andrea",
  year = "2015",
  booktitle = "37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC)",
  pages = "7188--7191",
  publisher = "IEEE",
}