Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans,
Islam, Md Ariful, Cleaveland Rance, Fenton Flavio H., Grosu Radu, Jones Paul L., and Smolka Scott A.
, Theoretical Computer Science, Volume 765, p.158–169, (2019)