Jiang, Z., Abbas, H., Jang, K., & Mangharam, R. (2016). The Challenges of High-Confidence Medical Device Software. Ieee Computer January Outlook.