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