Models and analysis in distributed systems by Serge Haddad | Menrva Books | MenrvaBooks