Envoyer par SMS: Automatic verification methods for finite state systems :