Proving Distributed Algorithms for Wireless Sensor Networks by Combining Refinement and Local Computations | IEEE Conference Publication | IEEE Xplore