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), p. e1. doi: 10.4108/eai.14-10-2015.2261743.