Отправить по sms: Modeling and verification using UML statecharts