Modelling distributed systems - Fokkink, Wan (Springer Verlag, 2007)