Harrison, M., Masci, P., Campos, J., & Curzon, P. (2014). Automated theorem proving for the systematic analysis of an infusion pump. Electronic Communications of the EASST, 69. https://doi.org/10.14279/tuj.eceasst.69.962