Envoyer par SMS: Specification and veritification of concurrent systems /