M. Harrison, P. Masci, J. Campos, and P. Curzon, “Automated theorem proving for the systematic analysis of an infusion pump”, eceasst, vol. 69, Oct. 2014.