Process modelling and model analysis - Hangos, Katalin M.; Cameron, Ian T. (Acad. Press, 2001)