Webster, M.; Breza, M.; Dixon, C.; Fisher, M.; McCann, J. Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks. eceasst 2019, 76.