Modeling Excitable Cells Using Hybrid Automata. door Pei Ye