Envoyer par SMS: Practical model-based testing