“…To the authors' knowledge, no single model tackles these four problems that, together, address both quantification and qualification. Indeed, in general, heart models adopt one of three representational schemes: (i) qualitative representations based on formalisms such as first-order logic (FOL) where processes are qualitatively described (6,23,27), (ii) CA models that mimic electrophysiologic processes as discrete time, space, and state simulations (3-5, 9, 17, 18, 20, 21), and (iii) networks of cells governed by the so-called Hodgkin-Huxley (H-H) type equations (14). The H-H type equations compute the electrodynamics of each cell in terms of nonlinear relationships between transmembrane currents and transmembrane potential (13,15,16,29).…”