Flow modelling and control in pipeline systems : a formal systematic approach /: a formal systematic approach. ([2021])