Harrison, Michael, Jose Campos, Paolo Masci, and Paul Curzon. 2015. “Templates As Heuristics for Proving Properties of Medical Devices”. EAI Endorsed Transactions on Creative Technologies 3 (8):e1. https://doi.org/10.4108/eai.14-10-2015.2261743.