Webster, M., Breza, M., Dixon, C., Fisher, M., & McCann, J. (2019). Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks. Electronic Communications of the EASST, 76. https://doi.org/10.14279/tuj.eceasst.76.1078