Process modelling and model analysis - Hangos, K. M ((Katalin M.)) (Academic Press, 2001)