Email Record: The challenges of high-confidence medical device software