Harrison M, Campos J, Masci P, Curzon P. Templates as heuristics for proving properties of medical devices. EAI Endorsed Trans Creat Tech. 2015;3(8):e1. doi:10.4108/eai.14-10-2015.2261743