M. Harrison, J. Campos, P. Masci, and P. Curzon, “Templates as heuristics for proving properties of medical devices”, EAI Endorsed Trans Creat Tech, vol. 3, no. 8, p. e1, Dec. 2015, doi: 10.4108/eai.14-10-2015.2261743.