A formal model for reliable digital transformation of water distribution networks | Publicación