Harrison, M. (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.