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