Automated theorem proving for the systematic analysis of an infusion pump - Michael Douglas Harrison (2013)