Harrison, M.; Campos, J.; Masci, P.; Curzon, P. Templates As Heuristics for Proving Properties of Medical Devices. EAI Endorsed Trans Creat Tech 2015, 3, e1.