Harrison, M.; Masci, P.; Campos, J.; Curzon, P. Automated Theorem Proving for the Systematic Analysis of an Infusion Pump. eceasst 2014, 69.