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