Modelling Distributed Systems, Hardcover/Wan Fokkink