Md. Ariful Islam, Greg Byrne, Soonho Kong, Edmund M. Clarke, Rance Cleaveland, Flavio H. Fenton, Radu Grosu, Paul L. Jones, Scott A. Smolka: Bifurcation Analysis of Cardiac Alternans Using \delta -Decidability. CMSB 2016: 132-146