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