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