@inproceedings{71,
  author = {Md Islam and Hyunkyung Lim and Nicola Paoletti and Houssam Abbas and Zhihao Jiang and Jacek Cyranka and Rance Cleaveland and Sicun Gao and Edmund Clarke and Radu Grosu and others},
  title = {Cybercardia project: Modeling, verification and validation of implantable cardiac devices},
  year = {2016},
  journal = {2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM)},
  publisher = {IEEE},
  language = {eng},
}