Flow Modelling and Control in Pipeline Systems A Formal Systematic Approach - Razvarz, Sina; Jafari, Raheleh; Gegov, Alexander (Springer International Publishing, 2021)