@Article{CDKM13c,
author={T. Chen and M. Diciolla and M. Kwiatkowska and A. Mereacre},
title={Quantitative Verification of Implantable Cardiac Pacemakers over Hybrid Heart Models},
journal={Information and Computation},
year={2014},

volume={},
number={},
pages={},
publisher={Elsevier},
month={},
note={},
key={}
}