A Tool to Facilitate the Design of Smart Contracts in Smart Water Distribution Networks. - Themistoklis Sarantakos; Dimitrios Amaxilatis; Antonino Pagano; Domenico Garlisi; Redemptor Jr Laceda Taloma; Tiziana Cattai; Ioannis Chatzigiannakis; Varvara Vythoulka; Christos D. Zaroliagis (IFIP Networking, 2024)