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.