Islam, M. A., Cleaveland, R., Fenton, F. H., Grosu, R., Jones, P. L., & Smolka, S. A. (2019). Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans. Theoretical Computer Science, 765, 158–169.
