Alur R, Courcoubetis C, Henzinger T, Ho P. (1993). Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems Proceedings of Hybrid Systems I, LNCS. 736

Barkley D. (1991). A model for fast computer-simulation of waves in excitable media Physica D. 49(1-2)

Barkley D, Kness M, Tuckerman LS. (1990). Spiral-wave dynamics in a simple model of excitable media: The transition from simple to compound rotation. Physical review. A, Atomic, molecular, and optical physics. 42 [PubMed]

Berger RD. (2004). Electrical restitution hysteresis: good memory or delayed response? Circulation research. 94 [PubMed]

Bub G, Glass L, Publicover NG, Shrier A. (1998). Bursting calcium rotors in cultured cardiac myocyte monolayers. Proceedings of the National Academy of Sciences of the United States of America. 95 [PubMed]

Bub G, Shrier A. (2002). Propagation through heterogeneous substrates in simple excitable media models. Chaos (Woodbury, N.Y.). 12 [PubMed]

DiFrancesco D, Noble D. (1985). A model of cardiac electrical activity incorporating ionic pumps and concentration changes. Philosophical transactions of the Royal Society of London. Series B, Biological sciences. 307 [PubMed]

• Cardiac action potentials and pacemaker activity of sinoatrial node (DiFrancesco & Noble 1985) [Model]

Gerhardt M, Schuster H, Tyson JJ. (1990). A cellular automation model of excitable media including curvature and dispersion. Science (New York, N.Y.). 247 [PubMed]

HODGKIN AL, HUXLEY AF. (1952). A quantitative description of membrane current and its application to conduction and excitation in nerve. The Journal of physiology. 117 [PubMed]

• Squid axon (Hodgkin, Huxley 1952) (NEURON) [Model]
• Squid axon (Hodgkin, Huxley 1952) (SNNAP) [Model]
• Squid axon (Hodgkin, Huxley 1952) (LabAXON) [Model]
• Squid axon (Hodgkin, Huxley 1952) (SBML, XPP, other) [Model]
• Squid axon (Hodgkin, Huxley 1952) used in (Chen et al 2010) (R language) [Model]

Henzinger TA. (1996). The theory of Hybrid Automata Proceedings Of The 11th Ieee Symposium On Logic In Computer Science.

Karma A. (2000). New paradigm for drug therapies of cardiac fibrillation. Proceedings of the National Academy of Sciences of the United States of America. 97 [PubMed]

Luo CH, Rudy Y. (1991). A model of the ventricular cardiac action potential. Depolarization, repolarization, and their interaction. Circulation research. 68 [PubMed]

• Ventricular cell model (Guinea-pig-type) (Luo, Rudy 1991, +11 other papers!) (C++) [Model]
• Cardiac action potential based on Luo-Rudy phase 1 model (Luo and Rudy 1991), (Wu 2004) [Model]

Luo CH, Rudy Y. (1994). A dynamic model of the cardiac ventricular action potential. I. Simulations of ionic currents and concentration changes. Circulation research. 74 [PubMed]

• Ventricular cell model (Guinea-pig-type) (Luo, Rudy 1991, +11 other papers!) (C++) [Model]

Mitra S et al. (2008). [online] http://www.cs.sunysb.edu/~eha.

True MR, Entcheva E, Smolka SA, Ye P, Grosu R. (2006). Efficient event-driven simulation of excitable hybrid automata. Conference proceedings : ... Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual Conference. 2006 [PubMed]

Ye P, Entcheva E, Smolka SA, Grosu R. (2008). Modelling excitable cells using cycle-linear hybrid automata. IET systems biology. 2 [PubMed]