Webster, Matt, Michael Breza, Clare Dixon, Michael Fisher, and Julie McCann. 2019. “Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks”. Electronic Communications of the EASST 76 (May). https://doi.org/10.14279/tuj.eceasst.76.1078.