Process Modelling and Model Analysis, Volume 4 by Ian Cameron, Katalin Hangos & Katalin M. Hangos