The challenges of high-confidence medical device software - Jiang, Zhihao