Models and analysis in distributed systems - Haddad, Serge (ISTE, 2011)