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