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