Bifurcation Analysis of Cardiac Alternans Using δ -Decidability.