Verification and Control of Pressure Transients and Intrusion in Distribution Systems (Water Research Foundation Report Series)