Відправити по sms: Design methods for reactive systems: yourdon, statemate and the UML