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