Modeling Excitable Cells Using Hybrid Automata. by Pei Ye