@InProceedings{HFMMK14,
year={2014},
booktitle={Proc. 26th International Conference on Computer Aided Verification (CAV},
volume={8559},
series={LNCS},
title={Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells},
publisher={Springer},
author={Z. Huang and C. Fan and A. Mereacre and S. Mitra and M. Kwiatkowska},
pages={373-390},
}