Process modelling and model analysis - Hangos, K. M. (Process systems engineering, 2001)