Harrison, M., Campos, J., Masci, P., & Curzon, P. (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