Envoyer par SMS: Specification and analysis of concurrent systems :