Harrison, Michael, Jose Campos, Paolo Masci, and Paul Curzon. “Templates As Heuristics for Proving Properties of Medical Devices”. EAI Endorsed Transactions on Creative Technologies 3, no. 8 (December 22, 2015): e1. Accessed May 18, 2024. https://publications.eai.eu/index.php/ct/article/view/1545.