Harrison, M., J. Campos, P. Masci, and P. Curzon. “Templates As Heuristics for Proving Properties of Medical Devices”. EAI Endorsed Transactions on Creative Technologies, vol. 3, no. 8, Dec. 2015, p. e1, doi:10.4108/eai.14-10-2015.2261743.