@article {,
	title = {Corrections to "A Menagerie of Timed Automata"},
	journal = {ACM Comput. Surv.},
	volume = {50},
	year = {2017},
	pages = {42:1{\textendash}42:8},
	keywords = {Timed automata, timed transition systems, transition systems},
	issn = {0360-0300},
	doi = {10.1145/3078809},
	url = {http://doi.acm.org/10.1145/3078809},
	author = {Keiren, Jeroen J. A. and Fontana, Peter and Cleaveland, Rance}
}
@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}
}
@article {,
	title = {Comparing model checkers for timed UML activity diagrams},
	journal = {Science of Computer Programming},
	volume = {111},
	year = {2015},
	pages = {277{\textendash}299},
	author = {Daw, Zamira and Cleaveland, Rance}
}
