Méthodes formelles pour les systèmes répartis et coopératifs Serge HADDAD, Fabrice KORDON, Laure PETRUCCI