Jiang, Z., Abbas, H., Jang, K., & Mangharam, R. (2016). The Challenges of High-Confidence Medical Device Software. Ieee Computer January Outlook.
Jiang, Z., & Mangharam, R. (2015). High-Confidence Medical Device Software Development. Foundations And Trends In Electronic Design Automation, 9.
