Models And Analysis In Distributed Systems by Fabrice Kordon & Serge Haddad