@article {,
	title = {Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans},
	journal = {Theoretical Computer Science},
	volume = {765},
	year = {2019},
	pages = {158{\textendash}169},
	author = {Islam, Md Ariful and Cleaveland, Rance and Fenton, Flavio H and Grosu, Radu and Jones, Paul L and Smolka, Scott A}
}
@conference {,
	title = {Programming is modeling},
	booktitle = {International Symposium on Leveraging Applications of Formal Methods},
	year = {2018},
	publisher = {Springer, Cham},
	organization = {Springer, Cham},
	author = {Cleaveland, Rance}
}
