Flow modelling and control in pipeline systems a formal systematic approach - Razvarz, Sina; Jafari, Raheleh; Gegov, Alexander (Springer, 2021)