Αποστολή με SMS: Modeling and verification using UML statecharts