A Tool to Facilitate the Design of Smart Contracts in Smart Water Distribution Networks | IEEE Conference Publication | IEEE Xplore