Méthode de validation de systèmes d'automates communicants avec accumulation d'évènements — Nathalie Triquet