Modelling Distributed Systems - Fokkink, Wan (Springer Berlin Heidelberg, 2007)