@inproceedings{islam2016cybercardia,
  title={{CyberCardia project: Modeling, verification and validation of implantable cardiac devices}},
  author={Islam, Md Ariful and Lim, Hyunkyung and Paoletti, Nicola and others},
  booktitle={Bioinformatics and Biomedicine (BIBM), 2016 IEEE International Conference on},
  pages={1445--1452},
  year={2016},
  organization={IEEE},
  url = {http://ieeexplore.ieee.org/document/7822737/},
  doi = {10.1109/BIBM.2016.7822737}
}