Webster, Matt, Michael Breza, Clare Dixon, Michael Fisher, and Julie McCann. “Formal Verification of Synchronisation, Gossip and Environmental Effects for Wireless Sensor Networks”. Electronic Communications of the EASST 76 (May 14, 2019). Accessed November 21, 2024. https://eceasst.org/index.php/eceasst/article/view/2228.