@conference {HarrisonCMC:2015,
	title = {Templates as heuristics for proving properties of medical devices},
	booktitle = {5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies"},
	year = {2015},
	publisher = {ACM},
	organization = {ACM},
	doi = {10.4108/eai.14-10-2015.2261743},
	attachments = {https://haslab.uminho.pt/sites/default/files/jccampos/files/antennatemplatesv5-final.pdf},
	author = {Michael Harrison and Campos, Jose and Paolo Masci and Paul Curzon}
}