Ezio Bartocci Flavio Corradini Radu Grosu Emanuela Merelli Oliviero Riganelli Scott A. Smolka StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. 493-502 2008 Concurrency, Graphs and Models http://dx.doi.org/10.1007/978-3-540-68679-8_30 conf/birthday/2008montanari db/conf/birthday/montanari2008.html#BartocciCGMRS08