HARRISON, M.; CAMPOS, J.; MASCI, P.; CURZON, P. Templates as heuristics for proving properties of medical devices. EAI Endorsed Transactions on Creative Technologies, [S. l.], v. 3, n. 8, p. e1, 2015. DOI: 10.4108/eai.14-10-2015.2261743. Disponível em: https://publications.eai.eu/index.php/ct/article/view/1545. Acesso em: 18 may. 2024.