Jiang, Z., Pajic, M., Moarref, S., Alur, R., & Mangharam, R. (2012). Modeling and Verification of a Dual Chamber Implantable Pacemaker. In Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (pp. 188–203). Springer-Verlag. 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 Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 188–203. Springer-Verlag, 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: Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer-Verlag; 2012. p. 188–203.

Jiang, Zhihao, et al. “Modeling and Verification of a Dual Chamber Implantable Pacemaker.” Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer-Verlag, 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. Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer-Verlag; 2012. p. 188–203.