@article{5985460,
    Author = {Jiang, Z. and Pajic, M. and Mangharam, R.},
    File = {Cyber-Physical Modeling of Implantable Cardiac Medical Devices (0) - a - a - w.pdf},
    ISSN = {0018-9219},
    Journal = {Proceedings of the IEEE},
    Keywords = {timed automata},
    Month = {Jan},
    Number = {1},
    Pages = {122--137},
    Title = {Cyber-Physical Modeling of Implantable Cardiac Medical Devices},
    Volume = {100},
    Year = {2012},
    bdsk-url-1 = {https://dx.doi.org/10.1109/JPROC.2011.2161241},
    date-added = {2018-02-07 07:50:51 +0000},
    date-modified = {2018-02-07 07:51:29 +0000},
    file-2 = {1202\_Cardiac\_SY (0) - a - a - w.ppt},
    doi = {10.1109/JPROC.2011.2161241}
}

@article{5985460, Author = {Jiang, Z. and Pajic, M. and Mangharam, R.}, File = {Cyber-Physical Modeling of Implantable Cardiac Medical Devices (0) - a - a - w.pdf}, ISSN = {0018-9219}, Journal = {Proceedings of the IEEE}, Keywords = {timed automata}, Month = {Jan}, Number = {1}, Pages = {122--137}, Title = {Cyber-Physical Modeling of Implantable Cardiac Medical Devices}, Volume = {100}, Year = {2012}, bdsk-url-1 = {https://dx.doi.org/10.1109/JPROC.2011.2161241}, date-added = {2018-02-07 07:50:51 +0000}, date-modified = {2018-02-07 07:51:29 +0000}, file-2 = {1202_Cardiac_SY (0) - a - a - w.ppt}, doi = {10.1109/JPROC.2011.2161241} }