Functionality analysis of an urban water supply network after strong earthquakes