Harrison, M. (2014) “Automated theorem proving for the systematic analysis of an infusion pump”, Electronic Communications of the EASST, 69. doi: 10.14279/tuj.eceasst.69.962.