Webster, M. (2019) “Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks”, Electronic Communications of the EASST, 76. doi: 10.14279/tuj.eceasst.76.1078.