Harrison, Michael, et al. “Templates As Heuristics for Proving Properties of Medical Devices”. EAI Endorsed Transactions on Creative Technologies, vol. 3, no. 8, Dec. 2015, p. e1, https://doi.org/10.4108/eai.14-10-2015.2261743.