Jiang, Z., Pajic, M., Moarref, S., Alur, R., & Mangharam, R. (2012). Modeling and Verification of a Dual Chamber Implantable Pacemaker. In C. Flanagan & B. KÃ nig (Eds.), Tools and Algorithms for the Construction and Analysis of Systems (Vol. 7214, pp. 188–203). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-28756-5_14

Jiang, Zhihao, Miroslav Pajic, Salar Moarref, Rajeev Alur, and Rahul Mangharam. “Modeling and Verification of a Dual Chamber Implantable Pacemaker.” In Tools and Algorithms for the Construction and Analysis of Systems, edited by Cormac Flanagan and Barbara KÃ nig, 7214:188–203. Springer Berlin Heidelberg, 2012. https://doi.org/10.1007/978-3-642-28756-5_14.

Jiang Z, Pajic M, Moarref S, Alur R, Mangharam R. Modeling and Verification of a Dual Chamber Implantable Pacemaker. In: Flanagan C, KÃ nig B, editors. Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg; 2012. p. 188–203.

Jiang, Zhihao, et al. “Modeling and Verification of a Dual Chamber Implantable Pacemaker.” Tools and Algorithms for the Construction and Analysis of Systems, edited by Cormac Flanagan and Barbara KÃ nig, vol. 7214, Springer Berlin Heidelberg, 2012, pp. 188–203. Manual, doi:10.1007/978-3-642-28756-5_14.

Jiang Z, Pajic M, Moarref S, Alur R, Mangharam R. Modeling and Verification of a Dual Chamber Implantable Pacemaker. In: Flanagan C, KÃ nig B, editors. Tools and Algorithms for the Construction and Analysis of Systems. Springer Berlin Heidelberg; 2012. p. 188–203.