Pošljite SMS: Practical model-based testing