BibTex format
@article{Webster:2020:10.1016/j.jocs.2020.101183,
author = {Webster, M and Breza, M and Dixon, C and Fisher, M and McCann, J},
doi = {10.1016/j.jocs.2020.101183},
journal = {Journal of Computational Science},
title = {Exploring the effects of environmental conditions and design choices on IoT systems using formal methods},
url = {http://dx.doi.org/10.1016/j.jocs.2020.101183},
volume = {45},
year = {2020}
}