Αποστολή με SMS: Model-Based Testing of Reactive Systems