Harrison M, Campos J, Masci P, Curzon P. Templates as heuristics for proving properties of medical devices. EAI Endorsed Trans Creat Tech [Internet]. 2015 Dec. 22 [cited 2024 May 18];3(8):e1. Available from: https://publications.eai.eu/index.php/ct/article/view/1545