Gravar-mail: Influence de la prise en compte dun modèle du processus en vérification formelle des Systèmes à Evénements Discrets