@inproceedings{Chen:2013:SHH:2461328.2461351,
    Address = {New York, NY, USA},
    Author = {Chen, Taolue and Diciolla, Marco and Kwiatkowska, Marta and Mereacre, Alexandru},
    BookTitle = {Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control},
    File = {A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers - Chen, Diciolla, Kwiatkowska, Mereacre (0) (0) - a - a - w.pdf},
    ISBN = {978-1-4503-1567-8},
    Keywords = {hybrid systems, pacemaker, quantitative verification},
    Location = {Philadelphia, Pennsylvania, USA},
    Pages = {131--136},
    Publisher = {ACM},
    Series = {HSCC '13},
    Title = {A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers},
    URL = {http://doi.acm.org/10.1145/2461328.2461351},
    Year = {2013},
    acmid = {2461351},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2461328.2461351},
    bdsk-url-2 = {http://dx.doi.org/10.1145/2461328.2461351},
    date-added = {2014-07-15 08:27:53 +0000},
    date-modified = {2014-07-15 08:27:53 +0000},
    numpages = {6},
    doi = {10.1145/2461328.2461351}
}

@inproceedings{Chen:2013:SHH:2461328.2461351, Address = {New York, NY, USA}, Author = {Chen, Taolue and Diciolla, Marco and Kwiatkowska, Marta and Mereacre, Alexandru}, BookTitle = {Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control}, File = {A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers - Chen, Diciolla, Kwiatkowska, Mereacre (0) (0) - a - a - w.pdf}, ISBN = {978-1-4503-1567-8}, Keywords = {hybrid systems, pacemaker, quantitative verification}, Location = {Philadelphia, Pennsylvania, USA}, Pages = {131--136}, Publisher = {ACM}, Series = {HSCC '13}, Title = {A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers}, URL = {http://doi.acm.org/10.1145/2461328.2461351}, Year = {2013}, acmid = {2461351}, bdsk-url-1 = {http://doi.acm.org/10.1145/2461328.2461351}, bdsk-url-2 = {http://dx.doi.org/10.1145/2461328.2461351}, date-added = {2014-07-15 08:27:53 +0000}, date-modified = {2014-07-15 08:27:53 +0000}, numpages = {6}, doi = {10.1145/2461328.2461351} }