@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},
}