Harrison, M., Campos, J., Masci, P. and Curzon, P. 2015. Templates as heuristics for proving properties of medical devices. EAI Endorsed Transactions on Creative Technologies. 3, 8 (Dec. 2015), e1. DOI:https://doi.org/10.4108/eai.14-10-2015.2261743.