<bibliography>
 <citation type="article" key="beeler_reuter_1977">
  <author>G. W. <surname>Beeler</surname></author>
  <author>H. <surname>Reuter</surname></author>
  <year>1977</year>
  <title>Reconstruction of the action potential of ventricular myocardial fibres</title>
  <journal>The Journal of Physiology</journal>
  <volume>268</volume>
  <number>1</number>
  <pages>177&#8211;210</pages>
 </citation>
 <citation type="article" key="bensoussan_1979">
  <author>A. <surname>Bensoussan</surname></author>
  <author>J-L. <surname>Lions</surname></author>
  <author>G. <surname>Papanicolaou</surname></author>
  <author>T. K. <surname>Caughey</surname></author>
  <year>1979</year>
  <title>Asymptotic Analysis of Periodic Structures</title>
  <journal>Journal of Applied Mechanics</journal>
  <volume>46</volume>
  <number>2</number>
  <pages>477+</pages>
  <doi>10.1115/1.3424588</doi>
 </citation>
 <citation type="incollection" key="grosu_et_al_2008">
  <author>R. <surname>Grosu</surname></author>
  <author>E. <surname>Bartocci</surname></author>
  <author>F. <surname>Corradini</surname></author>
  <author>E. <surname>Entcheva</surname></author>
  <author>S. A. <surname>Smolka</surname></author>
  <author>A. <surname>Wasilewska</surname></author>
  <year>2008</year>
  <title>Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes Hybrid Systems: Computation and Control</title>
  <booktitle>Hybrid Systems: Computation and Control</booktitle>
  <chapter>17</chapter>
  <series>Lecture Notes in Computer Science</series>
  <volume>4981</volume>
  <publisher>Springer</publisher>
  <pages>229&#8211;243</pages>
  <doi>10.1007/978-3-540-78929-1_17</doi>
 </citation>
 <citation type="incollection" key="grosu_et_al_2011">
  <author>R. <surname>Grosu</surname></author>
  <author>G. <surname>Batt</surname></author>
  <author>F. H. <surname>Fenton</surname></author>
  <author>J. <surname>Glimm</surname></author>
  <author>C. <surname>Guernic</surname></author>
  <author>S. A. <surname>Smolka</surname></author>
  <author>E. <surname>Bartocci</surname></author>
  <year>2011</year>
  <title>From Cardiac Cells to Genetic Regulatory Networks Computer Aided Verification</title>
  <chapter>31</chapter>
  <series>Lecture Notes in Computer Science</series>
  <volume>6806</volume>
  <publisher>Springer</publisher>
  <pages>396&#8211;411</pages>
  <doi>10.1007/978-3-642-22110-1_31</doi>
 </citation>
 <citation type="article" key="keener_panfilov_1996">
  <author>J. <surname>Keener</surname></author>
  <author>A. <surname>Panfilov</surname></author>
  <year>1996</year>
  <title>A biophysical model for defibrillation of cardiac tissue</title>
  <journal>Biophysical Journal</journal>
  <volume>71</volume>
  <number>3</number>
  <pages>1335&#8211;1345</pages>
  <doi>10.1016/S0006-3495(96)79333-5</doi>
 </citation>
 <citation type="book" key="keener_sneyd_2001">
  <author>J. <surname>Keener</surname></author>
  <author>J. <surname>Sneyd</surname></author>
  <year>2001</year>
  <title>Mathematical Physiology</title>
  <edition>corrected</edition>
  <publisher>Springer</publisher>
 </citation>
 <citation type="article" key="neu_krassowska_1993">
  <author>J. C. <surname>Neu</surname></author>
  <author>W. <surname>Krassowska</surname></author>
  <year>1993</year>
  <title>Homogenization of syncytial tissues.</title>
  <journal>Critical reviews in biomedical engineering</journal>
  <volume>21</volume>
  <number>2</number>
  <pages>137&#8211;199</pages>
 </citation>
 <citation type="article" key="chaste_2010">
  <author>P. <surname>Pathmanathan</surname></author>
  <author>M. O. <surname>Bernabeu</surname></author>
  <author>R. <surname>Bordas</surname></author>
  <author>J. <surname>Cooper</surname></author>
  <author>A. <surname>Garny</surname></author>
  <author>J. M. <surname>Pitt-Francis</surname></author>
  <author>J. P. <surname>Whiteley</surname></author>
  <author>D. J. <surname>Gavaghan</surname></author>
  <year>2010</year>
  <title>A numerical guide to the solution of the bidomain equations of cardiac electrophysiology</title>
  <journal>Progress in Biophysics and Molecular Biology</journal>
  <volume>102</volume>
  <number>2-3</number>
  <pages>136&#8211;155</pages>
  <doi>10.1016/j.pbiomolbio.2010.05.006</doi>
 </citation>
 <citation type="book" key="reddy_1993">
  <author>J. N. <surname>Reddy</surname></author>
  <year>1993</year>
  <title>Introduction to the Finite Element Method</title>
  <edition>2</edition>
  <publisher>McGraw-Hill</publisher>
 </citation>
 <citation type="article" key="richardson_chapman_2011">
  <author>G. <surname>Richardson</surname></author>
  <author>S. J. <surname>Chapman</surname></author>
  <year>2011</year>
  <title>Derivation of the Bidomain Equations for a Beating Heart with a General Microstructure</title>
  <journal>SIAM Journal on Applied Mathematics</journal>
  <volume>71</volume>
  <number>3</number>
  <pages>657+</pages>
  <doi>10.1137/090777165</doi>
 </citation>
 <citation type="article" key="rohr_2004">
  <author>S. <surname>Rohr</surname></author>
  <year>2004</year>
  <title>Role of gap junctions in the propagation of the cardiac action potential</title>
  <journal>Cardiovascular Research</journal>
  <volume>62</volume>
  <number>2</number>
  <pages>309&#8211;322</pages>
  <doi>10.1016/j.cardiores.2003.11.035</doi>
 </citation>
 <citation type="phdthesis" key="tung_1978">
  <author>L. <surname>Tung</surname></author>
  <year>1978</year>
  <title>A bi-domain model for ischemic myocardial D-C potentials.</title>
 </citation>
 <citation type="inproceedings" key="ye_grosu_et_al_2005">
  <author>P. <surname>Ye</surname></author>
  <author>E. <surname>Entcheva</surname></author>
  <author>S. A. <surname>Smolka</surname></author>
  <year>2005</year>
  <title>Efficient modeling of excitable cells using hybrid automata</title>
  <booktitle>In Proceedings of Computational Methods in System Biology</booktitle>
  <pages>216&#8211;227</pages>
 </citation>
 <citation type="incollection" key="ye_grosu_et_al_2008">
  <author>P. <surname>Ye</surname></author>
  <author>R. <surname>Grosu</surname></author>
  <author>S. A. <surname>Smolka</surname></author>
  <author>E. <surname>Entcheva</surname></author>
  <year>2008</year>
  <title>Formal Analysis of Abnormal Excitation in Cardiac Tissue Computational Methods in Systems Biology</title>
  <chapter>13</chapter>
  <series>Lecture Notes in Computer Science</series>
  <volume>5307</volume>
  <publisher>Springer</publisher>
  <pages>141&#8211;155</pages>
  <doi>10.1007/978-3-540-88562-7_13</doi>
 </citation>
</bibliography>
