Zaslat SMS: Practical model-based testing