Modeling and Simulation of Cardiac Tissue using Hybrid I/O Automata
Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Scott A. Smolka, Radu Grosu.
Theoretical Computer Science. pp. In press. 2009. 

@ARTICLE{BCDESG09,
  title = {{Modeling and Simulation of Cardiac Tissue using Hybrid I/O Automata}},
  author = {Bartocci, Ezio and Corradini, Flavio and Di Berardini, Maria Rita and Entcheva, Emilia and Smolka, Scott A. and Grosu, Radu},
  journal = {Theoretical Computer Science},
  pages = {In press},
  year = {2009},
}