Hybrid Automata as a Unifying Framework for Modeling Excitable Cells | IEEE Conference Publication | IEEE Xplore