Efficient Modeling of Excitable Cells Using Hybrid Automata Radu Grosu SUNY at Stony Brook Joint work with Pei Ye, Emilia Entcheva and Scott A. Smolka.