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