StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes
Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka.
Concurrency, Graphs and Models. pp. 493-502. 2008. 

@INPROCEEDINGS{DBLP:conf/birthday/BartocciCGMRS08,
  title = {{StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes}},
  author = {Bartocci, Ezio and Corradini, Flavio and Grosu, Radu and Merelli, Emanuela and Riganelli, Oliviero and Smolka, Scott A.},
  booktitle = {Concurrency, Graphs and Models},
  pages = {493-502},
  year = {2008},
}