@ARTICLE{HFM+15,
 author={Huang, Z. and Fan, C. and Mereacre, A. and Mitra, S. and 
 Kwiatkowska, M.},
 journal={Design Test, IEEE},
 title={Simulation-based Verification of Cardiac Pacemakers with Guaranteed 
 Coverage},
 year={2015},
 month={},
 volume={},
 number={},
 pages={},
 keywords={},
 doi={10.1109/MDAT.2015.2448543},
 url={http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=7130608&filter%3DAND(p_IS_Number%3A6461917)}
 ISSN={2168-2356},}