Harrison, Michael, Paolo Masci, Jose Campos, and Paul Curzon. “Automated Theorem Proving for the Systematic Analysis of an Infusion Pump”. Electronic Communications of the EASST 69 (October 25, 2014). Accessed October 18, 2024. https://eceasst.org/index.php/eceasst/article/view/2157.