Real-Time Pressure Control in Water Distribution Networks: Stability Guarantees via Gain-Scheduled Internal Model Control | IEEE Journals & Magazine | IEEE Xplore