Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Scott A. Smolka, Radu Grosu. Modeling and simulation of cardiac tissue using hybrid I/O automata. Theoretical Computer Science, 410(33-34):3149-3165, 2009. [doi]
Abstract is missing.