@article{9,
  author = {Z. Jiang and H. Abbas and K. Jang and R. Mangharam},
  title = {The Challenges of High-Confidence Medical Device Software},
  year = {2016},
  journal = {IEEE Computer January Outlook},
  language = {eng},
}